Toda vez que un conjunto X queda definido, quedan definidos también la colección formada por todos sus subconjuntos.