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 : [latex]I_E[/latex].
Example
Consider set
E = {a, b, c}. Then [latex]I_E[/latex] = {(a, a), (b, b), (c, c)}.
The
arrow diagram of an identity relation includes only
loops.
