Спасибо, вроде бы понятно. Если в отношении есть пары

и

, то мы сможем построить такие отношения транзитивности

и

(получается уже есть одно отношение).
Рассмотрим сначала одноэлементное подмножество множества пар элементов:
1) Есть в отношении только

, то мы отсюда сможем только построить вот такую ерунду я

(считается ли это транзитивностью?).
2) Если в отношении есть только

, то аналогично

c точностью до переобозначения.
Если в отношении есть только

, то не получится построить транзитивность (с только

аналогично).
Рассмотрим двухэлементное подмножество множества пар элементов:
1)

и

, не получится построить транзитивное отношение.
2)

и

получится
3)

и

получится
4)

и

получится
5)

и

получится
Рассмотрим трехэлементное подмножество множества пар элементов:
1)

и

и

В четырех случаях получится.
2)

и

и

В четырех случаях получится.
3) Если есть

и

, то не получится, потому как должно быть четыре элемента.
Правильно ли это или я бред пишу?