Teorema. {x1 , x2 ,..., xi } es un conjunto syss x1 , x2 ,..., xi son tambien conjuntos.

(1)
V
xu(u {x} u = x) Teorema
(2) x1 {x1 } x1 = x1
(3) x1 {x1 }
(4) x2 {x2 }
(5) V3 {x3 }
x
(6) xyu(u x y u x u y) Teorema
(7) u {x1 } {x2 } u {x1 } u {x2 }
(8) u {x1 } {x2 } u = x1 u = x2
(9)
u ({x1 } {x2 }) x3 u = x1 u = x2 u = x3
(10) u {x1 , x2 , x3 } u = x1 u = x2 u = x3

(11) u {x1 } {xi } u = x1 u = xi
(12) u {x1 ,.., xi } u = x1 u = xi

[1] Ivorra Castillo, Logica Matematica, Espana.