Dans un ensemble E, relation qui ne comprend que tous les couples identiques sur E.
Notation
La relation identique sur un ensemble E est notée : \(I_\textrm{E}\).
Exemple
Soit l’ensemble E = {a, b, c}. Alors \(I_\textrm{E}\) = {(a, a), (b, b), (c, c)}.
Le diagramme sagittal d’une relation identique ne comprend que des boucles.