Un conjunto de conjuntos es normal salvo si podemos hacer que se contenga a sí mismo.