In the study of NF(U) set theory, the (graphs of the) singleton function restricted to the universe or the ordinals. The absence of these sets is how NF avoids Cantor's paradox and Burali-Forti, and often the simplest disproof of some property comes from showing that the property would entail the existence of these functions.