RELACJE- konwers i iloczyn względnych relacji

Relacja R₁ jest konwersem relacji R₂ ≡ ΛΛ (xR₁ ≡ y R₂x)

^{x y}

Relacja R₁ jest konwersem relacji R₂ wtedy, gdy dla dowolnych dwóch elementów relacja R₁ zachodzi między pierwszym a drugim z nich wtedy i tylko wtedy, gdy relacja R₂ zachodzi między drugim a pierwszym z nich.

Relacja R₁ jest iloczynem względnym relacji R₂ i R₃ ≡ ΛΛ[xR₁y≡ V(xR₂z ^ zR₃y)]

^{x y z}

Relacja R₁ jest iloczynem względnym relacji R₂ i R₃ wtedy, gdy zachodzi ona między jednym a drugim obiektem, tylko gdy istnieje taki przedmiot, że pierwszy obiekt pozostaje w relacji R₂ do tego przedmiotu, a przedmiot ten pozostaje w relacji R₃ do drugiego obiektu.