Ein abstrakter Datentyp wird durch seine Anwender-Schnittstelle definiert.
Diese besteht aus Operationen mit jeweils: