Geordnetes Paar

     $\left(a,b\right)\text{:=}\left\{\left\{a,b\right\},\left\{b\right\}\right\}.$

Der Sinn dieser Definition ist nicht unmittelbar einsichtig. Er besteht vorwiegend darin, daß nur mengentheoretische Grundbegriffe verwendet werden und daß sich die folgende grundlegende Eigenschaft für geordnete Paare recht leicht nachweisen läßt:

     $\left(a,b\right)=\left(c,d\right)$ genau dann, wenn $a=c$ und $b=d.$

Sinngemäß definiert man den Begriff des Tripels und schließlich induktiv den des $n$-Tupels:

     $\left(a,b,c\right)\text{:=}\left(\left(a,b\right),c\right)$ , (Tripel )

     $\left(a_1,\dots ,a_n,a_{n+1}\right)\text{:=}\left(\left(a_1,\dots ,a_n\right),a_{n+1}\right).$ ($\left(n+1\right)$-Tupel )