Я сделал такую замену

и

потому что получился хороший ответ) По-поводу того, что

и

выбираются некоторым вполне определенным способом я не знал, руководствовался лишь определением произведения отношений. Про этот определенный способ, если можете, просветите пожалуйста или просто киньте ссылку на материал)
По-поводу матрицы. Её значения Вы написали просто для примера или чем-то руководствовались? Не понял откуда взяли значения матрицы.
У меня есть еще один вариант решения пункта г). Но я в нём еще больше не уверен. Может этот ход мысли лучше? Скажите, каким лучше путем пойти?
Но для начала:
Свойство 3: пусть

- бинарное отношение на множестве

. Обратным к

называется бинарное отношение на множестве

, обозначаемое через

и определяемое правилом:

тогда и только тогда, когда

. Свойство 5: если отношение

транзитивно, то и обратное отношение

тоже транзитивно.
Предположим, что бинарное отношение

транзитивно, т.е. существуют такие

и

, что

. По свойству 5 транзитивность должна выполняться и для

, т.е. еще существуют такие

и

, что

. Проверим это. Используем определение об умножении бинарных отношений и свойство 3:

;

;

. Теперь для итоговых 6 соотношений попробуем построить диаграмму:

Из диаграммы видим, что свойство транзитивности для

выполняется, следовательно

тоже обладает свойством транзитивности.
А пункт б) и в) я исправил верно? (Моё 3-ье сообщение в этой теме)