Здравствуйте! У меня возникли сложности по дискретной математике:

Задано бинарное отношение P является подмножеством множеств R^2 ( не смог найти как сделать такой знак ); найти его область определения и область значений. Проверить по определению, является ли отношение P рефлексивным, симметричным, антисимметричным, транзитивным.
P = {(x,y) | (x – y) [$8712$]}.

Я делал задачу немного похожую, только там была матрица и числа, по которым она строилась и по графу я уже проверял на все свойства. А области определения/значений смотрел по максимальным/минимальным x/y? Тут пока я не вижу ограничений по областям. Насчет свойств, на примере одного из них хочу понять как это делать, допустим рефлексивность, на графе диагональ должна была быть вся в единицах, то есть (x,x) всегда не пустой. [$8704$]x [$8712$] X : (xRx) Эту формулу нужно как-то подставить и понять, рефлексивно или нет, но как ей пользоваться - я не понимаю