Sea X un conjunto cualquiera y sea E el conjunto de los subconjuntos de E.