Enseñanza del principio de inducción completa, a nivel de cuarto año de bachillerato

Recordemos lo que significa la relación de inclusión entre conjuntos:

(A ⊂ B) <=> (∀ x, x ∈ A => X ∈ B).

Lo anterior se lees El conjunto A está 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 definición dada, A c B también incluye la posibilidad de que A = B. En efecto,

(A=B)  <=> ((A⊂ B) Λ (B A ⊂).