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.
Selon la définition ci-dessus, deux relations avec des graphes identiques mais des domaines différents ou des codomaines différents sont considérées différentes.