EDB — 024

[024]Usando la definizione di coppia $(a,b)$ come $\{\{a\},\{a,b\}\}$ mostrate che, dati due insiemi $x,y$ , per ogni $a\in x,b\in y$ si ha

Usate questo fatto e l’assioma di separazione per giustificare assiomaticamente la definizione del prodotto cartesiano $x\times y$.