Jest to działanie łączne; relacje dwuczłonowe na ustalonym zbiorze tworzą z nim półgrupę:
Operacja złożenia relacji nie jest przemienna Słownik teorio-mnogościowy, Katedra Podstaw Informatyki – Wydział Informatyki i Telekomunikacji Politechniki Wrocławskiej (WIT PWr), cs.pwr.edu.pl [dostęp 2025-05-13]. – istnieją relacje i dla których
Jeśli relacje i są jednoznaczne lewostronnie (iniektywne), to złożenie relacji również jest jednoznaczne lewostronnie (iniektywne). W drugą stronę jednoznaczność lewostronna (iniektywność) pociąga jedynie jednoznaczność lewostronną (iniektywność) . Jeśli relacje i są całkowite prawostronnie (surjektywne), to złożenie relacji również jest całkowite prawostronnie (surjektywne). Odwrotnie całkowitość prawostronna (surjektywność) pociąga tylko całkowitość prawostronną (surjektywność) . Składanie relacji jest prawostronnie rozdzielne względem sumy zbiorów:
Działanie to nie jest rozdzielne względem przekroju zbiorów, jednak zachodzi słabszy fakt:
Przypisy
Bibliografia
Kategoria:Relacje dwuczłonowe Kategoria:Działania dwuargumentowe