EDB — 024

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

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