¿Qué entendemos por los tipos de datos abstractos?

es un modelo matemático compuesto por una colección de operaciones definidas sobre un conjunto de datos para el modelo.

o sea, un conjunto de objetos con ciertas operaciones definidas sobre ellos. Piense, por ejemplo, en la calculadora: los elementos que maneja son cantidades numéricas y las operaciones que tiene definidas sobre éstas son las operaciones aritméticas.