Handout - Institut für Theoretische Informatik - Technische ...

mathematischer Hintergrund
Mengen
Definition (cartesisches Produkt)
Das cartesische Produkt zweier Mengen A und B ist
A × B := { 〈a, b〉 : a ∈ A ∧ b ∈ B }
wobei 〈a, b〉 ein geordnetes Paar bezeichnet. Die Spezifikation für
geordnete Paare verlangt
〈a, b〉 = 〈c, d〉 gdw (a = c ∧ b = d)
Im Spezialfall A = B schreiben wir abkürzend A n für das n-fache
cartesische Produkt von A mit sich.
Achtung: Die Schreibweise ( ) n für ein n-faches Produkt wird auch in
anderen Situationen benutzt, ist also kontextsensitiv.
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 182 / 191