Als "A" een verzameling is en "S" een singleton, dan bestaat er precies één functie van "A" naar "S", de functie die elk element van "A" op het ene element van "S" afbeeldt. ###>If "A" is any set and "S" is any singleton, then there exists precisely one function from "A" to "S", the function sending every element of "A" to the single element of "S".