El objeto de partes de un conjunto está dado por su conjunto de partes, y el objeto exponencial de los conjuntos "A" y "B" está dado por el conjunto de todas las funciones de "A" a "B".