Определения множества элемента множества. Область определения бинарного отношения. диагональ множества. область значения бинарного отношения. бинарные отношения.