Identität

TYPE Rec1 = RECORD a, b: CARDINAL END; Rec2 = Rec1; Rec3 = Rec1; Rec4 = RECORD a, b: CARDINAL END;

Jeder Typ ist zu sich selbst identisch.

Zwei Typen sind genau dann zueinander identisch, wenn sie beide von der gleichen Typdefinition her stammen. Obiges Beispiel illustriert dies: Rec2 und Rec3 sind identisch, weil sie beide von Rec1 abgeleitet sind. Obwohl Rec4 die gleiche Struktur wie Rec1 besitzt, ist es nicht identisch zu Rec1, Rec2 oder Rec3.

	Jeder Typ ist zu sich selbst identisch.
	Zwei Typen sind genau dann zueinander identisch, wenn sie beide von der gleichen Typdefinition her stammen. Obiges Beispiel illustriert dies: Rec2 und Rec3 sind identisch, weil sie beide von Rec1 abgeleitet sind. Obwohl Rec4 die gleiche Struktur wie Rec1 besitzt, ist es nicht identisch zu Rec1, Rec2 oder Rec3.