Formally, an ADT may be defined as a "class of objects whose logical behavior is defined by a set of values and a set of operations"; this is analogous to an algebraic structure in mathematics.
Formellt kan en Abstrakt datatyp definieras som "en klass av objekt vars logiska beteenden är definierade av en mängd värden och en mängd operationer" , detta är analogt med en algebraisk struktur inom matematiken.