Relation Properties

Example: A relation $\text{NotOddToEven}$ on some set $S$ of integers. In this relation, $(x, y) \in \text{NotOddToEven}$ if $x$ and $y$ are both even, or if $x$ and $y$ are both odd, or if $x$ is even and $y$ is odd (but not if $x$ is odd and $y$ is even.)

In summary, the $\text{NotOddToEven}$ relation has the following $2$ properties: reflexive and transitive.