Kreuzprodukte und Records

Das Kreuzprodukt von n Mengen A₁,…, A_n

ist die Menge aller Tupel:

A₁×…×A_n : = {(a₁,…, a_n) | a₁∈A₁∧…∧a_n∈A_n}

Kreuzprodukt in der Mathematik entspricht struct in C, record in Pascal, class in Java usw.

class P { final A a; final B b; final C c; }

Komponenten-Zugriff über Namen P x; ... x.a ... (Mathematik: über Position).

positionelle Notation bei Aufruf des geeignet definierten Konstruktors

P x = new P(new A(), new B(), new C());