ZFC: diferència entre les revisions

Per l'axioma d'extensionalitat, el conjunt <math>c</math> és únic. D'altra banda, com que <math>\{ a,b \} = \{ b,a \}</math> podem defnirdefinir també el ''parell ordenat'': <math>(a,b)</math> que satisfà la condició <math>(a,b)=(c,d) \leftrightarrow (a=c) \and (b=d)</math>.<ref>{{Versaleta|Jech}}, pàgina 7.</ref> De la mateixa forma es poden definir [[n-pla|n-tuples]] triples, quadrúples, etc.