(1) Processen att extrahera de väsentliga egenskaperna hos data genom att definiera datatyper och deras associerade funktionella egenskaper och bortser från representation details.~(2) resultatet av processen i (1).