Set of one function

The set of one function is the unique function over the set of one, defined by f(1) = 1.