si "A" es un conjunto y S es cualquier conjunto unitario, existe exactamente una función de "A" a "S", la función constante que envía cada elemento de "A" al elemento de "S".