(1) Prosessen med å trekke ut de grunnleggende egenskapene til dataene ved å definere datatyper og deres tilknyttede funksjonelle egenskaper og ser bort fra representasjon details.~(2) et resultat av prosessen i (1).