Selon la définition ci-dessus, deux relations avec des graphes différents mais des domaines ou des codomaines différents sont considérées comme identiques.
Selon la définition ci-dessus, deux relations avec des graphes identiques, mais des domaines ou des codémas différents sont considérées différentes.