Allgemeine direkte Produkte und Datenstrukturen

In Abschnitt 1.4 haben wir direkte Produkte M × N als Mengen von Paaren (a, b) von Objekten eingeführt. Paare bestehen aus genau zwei Komponenten. In diesem Kapitel führen wir zuerst Tupel ein, die aus endlich vielen Komponenten bestehen, und, als deren Verallgemeinerungen, dann noch Folgen und Familien. Mengen von Tupeln nennt man allgemeine direkte Produkte. Schließlich zeigen wir noch, wie man mit Hilfe von direkten Produkten zwei in der Informatik sehr wichtige Datenstrukturen formal mathematisch erklären kann, nämlich lineare Listen und Binärbäume.