\begin{definition}[Definition:Non-Reflexive Relation]
Let $\RR \subseteq S \times S$ be a relation in $S$.
$\RR$ is '''non-reflexive''' {{iff}} it is neither reflexive nor antireflexive.
\end{definition}