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