L’abstraction est le processus de suppression de détails physiques, spatiaux ou temporels ou d’attributs dans l'étude d'objets ou de systèmes afin d'attirer l'attention sur des détails d'importance supérieure , est également de nature très similaire au processus de généralisation.

Un type abstrait (ADT) est un modèle mathématique pour les types de données, un type de données étant défini par son comportement (sémantique) du point de vue de l’utilisateur des données, en particulier dans les valeurs possibles, opérations possibles sur des données de ce type et comportement de ces opérations.