geordnetes Paar

$(x,y)=\{\{x\},\{x,y\}\}$

Definition

Diffinert die Reinfolge in dem das erste Element extra heraus gehoben wird. (Kuratowski-Paar)

Paare mit mehr als zwei weden als genestete paare dargestellt.
$(a,b,c)=(a,(b,c))\vee ((a,b),c)$