Der abstrakte Datentyp

Die Signatur des abstrakten Datentyps enthält alle Funktionen, die dieser zur Verfügung stellt und die entsprechenden Einzelsignaturen. Die allgemeinen Gleichungen sind Beispiele der Anwendung der Funktionen, für die Variablen benutzt werden.