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

Условие: Задано бинарное отношение \( P \); найти его область определения и область значений. Проверить по определению, является ли отношение \( P \) рефлексивным, симметричным, антисимметричным, транзитивным. \[ P \subseteq \mathbb{Z}^{2}, P=\{(x, y) \mid x=-y\} \]