6.2.13 Бинарные отношения

условие: Даны два конечных множества: \( A=\{a, b, c\} \), \( B=\{1,2,3,4\} \); бинарные отношения \( P_{1} \subseteq A \times B \), \( P_{2} \subseteq B^{2} \). Изобразить \( P_{1}, P_{2} \) графически. Найти \( P=\left(P_{2} \circ P_{1}\right)^{-1} \). Выписать \( \quad \) области определения и области значений всех трех отношений: \( P_{1}, P_{2}, P \). Построить матрицу \( \left[P_{2}\right] \), проверить с ее помощью, является ли отношение \( P_{2} \) рефлексивным, симметричным, антисимметричным, тран