Тернарные отношения

Декартовым произведением X Y Z трех множеств X,Y,Z называется множество всех упорядоченных троек <х,у,z>, составленных из элементов этих множеств так, что X Y Z= {<х,у,z>| хХ, уY, zZ}. Любое непустое подмножество T декартова произведения X Y Z множеств X, Y, Z называется тернарным отношением между X, Y и Z и записывается так: Т X Y Z.