Relacja trójargumentowa
podzbiór iloczynu kartezjańskiego trzech zbiorów / Z Wikipedii, wolnej encyclopedia
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 należących do zbioru
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).