engl.: data structures
Eine Datenstruktur besteht aus einer oder mehrerer disjunkter Wertemengen zusammen mit den darauf definierten Funktionen.
Eine (partielle) Datenstruktur mit Signatur (T, F) ordnet
so dass Argument- und Wertebereich von f den Wertemengen entsprechen, die zu f′s Funktionstyp gehören.