Endorelation/Examples/Properties of Arbitrary Relation 1

Examples of Endorelation
Let $V = \set {u, v, w, x}$.

Let $E$ be the relation on $V$ defined as:
 * $E = \set {\tuple {u, v}, \tuple {v, u}, \tuple {v, w}, \tuple {w, v} }$

Then $E$ is:
 * antireflexive
 * symmetric
 * non-transitive.

Proof
For all $a \in V$, we have that:
 * $\tuple {a, a} \notin E$

and so $E$ is antireflexive.

For all $\tuple {a, b} \in E$, we have that:
 * $\tuple {b, a} \in E$

and so $E$ is symmetric.

We have:
 * $\tuple {u, v} \in E$ and $\tuple {v, w} \in E$, but not $ \tuple {u, w} \in E$

and so $E$ is not non-transitive.