\begin{definition}[Definition:Reflexive Reduction]
Let $\RR$ be a relation on a set $S$.
The '''reflexive reduction''' of $\RR$ is denoted $\RR^\ne$, and is defined as:
:$\RR^\ne := \RR \setminus \set {\tuple {x, x}: x \in S}$
\end{definition}