In a set E, a relationship that includes only ordered pairs identical to set E.
Notation
The identity relation on a set E is denoted by : \(I_E\).
Example
Consider set E = {a, b, c}. Then \(I_E\) = {(a, a), (b, b), (c, c)}.
The arrow diagram of an identity relation includes only loops.