6.2.12 Binary relations

Problem: The binary relation \( P \) is given; find its domain and range. Check by the definition whether relation \( P \) is reflexive, symmetric, antisymmetric, transitive. \[ P \subseteq \mathbb{Z}^{2}, P=\{(x, y) \mid x=-y\} . \]