Es verdadero que todos los ejemplos de subconjunto mostrados arriba son de hecho subconjuntos propios.