En palabras: «para cada conjunto existe otro, , compuesto exactamente por los elementos de los elementos de ».