EDB — 1Y3

view in whole PDF view in whole HTML

View

Italian

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].

Download PDF
Bibliography
Book index
  • assioma, della coppia
  • teoria, formale degli insiemi
Managing blob in: Multiple languages
This content is available in: Italian English