Diagonal Relation is Reflexive (Class Theory)

Theorem
Let $V$ be a basic universe.

Let $\Delta_V$ denote the diagonal relation on $V$:


 * $\Delta_V = \set {\tuple {x, x}: x \in V}$

$\Delta_V$ is a reflexive relation.

Proof
So $\Delta_V$ is reflexive.