Formally, if *M* is a set, we define the identity function id_{M} on *M* to be that function with domain and codomain *M* which satisfies

- id
_{M}(*x*) =*x*for all elements*x*in*M*.

When choosing *M* equal to the positive integers, one obtains the identity function Id(*n*), which is a multiplicative function considered in number theory.