Formal bezieht sich ein Datentyp oder Datentyp in der Informatik auf die Gruppierung von Objektmengen mit den darauf definierten Operationen. Der Datentyp des Datensatzes mit einer sogenannten Signatur gibt nur die Namen dieser Objektmengen und Operationen an.