Złożenie relacji dwuargumentowych – uogólnienie złożenia funkcji na dowolne relacje dwuargumentowe; sposób konstrukcji relacji dwuargumentowej z dwóch innych, a zarazem wynik tej konstrukcji. Formalnie dla zbiorów i relacji złożenie tej dwójki to zbiór zdefiniowany warunkiem Marek Zaionc, Jakub Kozik i Marcin Kozik, Logika i teoria mnogości. Wykład 5: Para uporządkowana, iloczyn kartezjański, relacje, domykanie relacji, relacja równoważności, rozkłady zbiorów, 3.1. Operacje na relacjach, wazniak.mimuw.edu.pl, 28 września 2020 [dostęp 2023-08-05].:
innymi słowy wtedy i tylko wtedy, gdy dla pewnego zachodzi Composition , Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2023-08-12]..
Uwaga. Powyższa definicja sprawia, że w przypadku kiedy relacja dwuargumentowa jest też funkcją, złożenie funkcji jest szczególnym przypadkiem złożenia relacji. W niektórych źródłach, zwłaszcza z pograniczy informatyki i teorii baz danych, można spotkać definicję relacji różniącą się kolejnością składanych relacji.
Przykłady Niech i będą takimi relacjami w zbiorze że:
Wtedy odpowiednio złożeniem relacji będą:
Własności