Está claro que un conjunto dado o bien es normal o bien es singular, no hay término medio, o se contiene a sí mismo o no se contiene.