Identity function

Given a set X, the function id: X → X given by f(x) = x is called the identity function.

A trivial function but there are issues to be discussed:

• What if X is a topological space?
• What if X is a group?

A slightly less trivial function is the inclusion.