6.2.17 Binary relations

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