Notation
La relation identique sur un ensemble E est notée : [latex]I_\textrm{E}[/latex].
Exemple
Soit l'ensemble E = {a, b, c}. Alors [latex]I_\textrm{E}[/latex] = {(a, a), (b, b), (c, c)}.
Le
diagramme sagittal d'une relation identique ne comprend que des
boucles.
