### 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.

The identity relation on a set *E* is denoted by : \(I_E\).

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.