Recordemos lo que significa la relacion de inclusion entre conjuntos: (A ⊂ B) ( ∀ x, x ∈ A => X ∈ B). Lo anterior se lees El conjunto A esta contenido en el con junto B, si y solo si todos los elementos x que pertenecen a A pertenecen a B. De acuerdo con la definicion dada, A c B tambien incluye la posibilidad de que A = B. En efecto, (A=B) ((A ⊂ B) Λ (B A ⊂).
