Relacja trójargumentowa

Relacja trójargumentowa lub relacja ternarna – dowolny podzbiór iloczynu kartezjańskiego trzech zbiorów. Analogicznie do relacji dwuargumentowej, która jest zdefiniowana jako zbiór uporządkowanych dwójek, relacja trójargumentowa jest zbiorem uporządkowanych trójek postaci $(x,y,z)$ należących do zbioru $X\times Y\times Z.$

Definicja ta oddaje intuicję związku, czy zależności między elementami tych trzech zbiorów (elementy wspomnianych trzech zbiorów pozostają w pewnym związku, łączy je pewna zależność, własność, albo nie).

Przykłady

Współliniowość punktów

Przykładem relacji trójargumentowej jest relacja współliniowości trzech punktów. Podobnie relacja leżenia między trzech punktów oznaczająca leżenie punktu między dwoma innymi.

Funkcje dwuargumentowe

Funkcją dwóch zmiennych $f\colon A\times B\to C$ nazywamy taką funkcję, która każdej uporządkowanej parze $(a,b)$ in $A\times B$ przyporządkowuje element $f(a,b)$ ze zbioru $C,$ a więc wykres funkcji $f$ składa się z uporządkowanych par $((a,b),f(a,b)),$ które są utożsamiane z uporządkowanymi trójkami $(a,b,f(a,b))).$ Wtedy wykres $f$ jest relacją trójargumentową zbiorów $A,$ $B$ oraz $C,$ do której należą wszystkie trójki postaci $(a,b,f(a,b))),$ dla każdego $a$ należącego do $A$ i $b$ należącego do $B.$

Porządek cykliczny

Dla dowolnego zbioru $A,$ którego elementy ułożyliśmy w okrąg, można zdefiniować relację $R$ na zbiorze $A,$ będącą podzbiorem $A^{3}=A\times A\times A,$ przy założeniu, że $R(a,b,c)$ zachodzi wtedy i tylko wtedy, gdy $a,b,c$ są parami różne i kiedy przechodząc z $a$ do $c$ zgodnie z ruchem wskazówek zegara musimy przejść przez $b.$ Na przykład dla zbioru $A=\{1,2,3,4,5,6,7,8,9,10,11,12\}$ reprezentującego godziny na tarczy zegara, $R(8,12,4)$ zachodzi oraz $R(12,8,4)$ nie zachodzi.

Relacja przystawania

Relacja przystawania:

$a\equiv b{\pmod {m}}$

trzech liczb całkowitych $a,$ $b$ i $m$ zachodzi wtedy i tylko wtedy, gdy $m$ dzieli $a-b,$ a zatem może zostać uznana za relację trójargumentową. Przyjmuje się jednak, że jest to rodzina relacji między $a$ i $b$ oraz kolejnych liczb całkowitych $m.$ Wówczas dla każdego ustalonego $m$ taka relacja dwuargumentowa jest m.in. relacją równoważności.