El conjunto de las partes de un conjunto A, P(A) está en biyección con el conjunto de las funciones de A hacia {0,1}, conjunto que de escribe como 2, como caso particular de Y que denota el conjunto de las aplicaciones de X hacia Y.