Definizione
52
[1Y3] Assioma della coppia. Dati comunque due insiemi \(X\) e \(Y\) esiste un insieme \(Z\), rappresentato come \(Z=\{ X,Y\} \), i cui elementi sono solo \(X\) e \(Y\). In formula
\[ ∀ X, Y ∃ Z : ∀ W (W ∈ Z) \iff (W = X) ∨ (W = Y )\quad . \]
Di nuovo l’insieme \(Z\) è unico per effetto dell’assioma di estensionalità [1Y8].