Formal bezeichnet ein
Datentyp (vom
englischen ) oder eine
Datenart in der
Informatik die Zusammenfassung von Objektmengen mit den darauf definierten
Operationen. Dabei werden durch den Datentyp des
Datensatzes unter Verwendung einer so genannten Signatur ausschließlich die Namen dieser
Objekt- und Operationsmengen
spezifiziert. Ein so spezifizierter Datentyp besitzt noch keine
Semantik.