Identity Mapping is Right Identity

Theorem
Let $S$ and $T$ be sets.

Let $f: S \to T$ be a mapping.

Then:
 * $f \circ I_S = f$

where $I_S$ is the identity mapping on $S$, and $\circ$ signifies composition of mappings.

Also see

 * Identity Mapping is Left Identity


 * Diagonal Relation is Right Identity
 * Diagonal Relation is Left Identity