Es casi tautológico decir que los subconjuntos de un conjunto dado "X" son lo mismo que (tan bueno como) las funciones de "X" a cualquier conjunto de dos elementos dado: fije el primer elemento y haga que un subconjunto "Y" corresponda a la función que envía a "Y" a é y su complemento en "X" al otro elemento.