Tipo de Datos Abstracto

Una especificación de una categoría de datos por el conjunto de operaciones que se pueden realizar sobre ella y las propiedades (semántica del comportamiento) que dichas operaciones deben satisfacer, independiente de cualquier implementación concreta.