Diskrete Mathematik kompakt, 2nd Edition

3 Relationen und Funktionen

3.1 Paare und Tupel

Ein geordnetes Paar $($a, b$)$ ist ein aus zwei Objekten a und b zusammengesetztes Objekt, bestehend aus der ersten Komponente a und der zweiten Komponente b. Zwei geordnete Paare sollen genau dann gleich sein, wenn sowohl ihre ersten als auch ihre zweiten Komponenten gleich sind:

$\left(a,b\right)=\left(c,d\right)\iff a=c\mathrm{u}\mathrm{n}\mathrm{d}b=d.$

Man kann geordnete Paare als weiteren undefinierten Grundbegriff in der Mengenlehre einführen. Zu $\{$… | …$\}$ und ∈ kommt dann $($… , …$)$ hinzu, Paare haben keine Elemente, und das obige Gleichheitskriterium wird ein weiteres Axiom der Mengenlehre. Aus praktischen Gründen wollen wir das hier auch so halten. Im Sinne des Minimalismus können geordnete Paare aber auch anhand vorhandener Begriffe definiert ...