\begin{definition}[Definition:Right Normal Element of Relation]
Let $A$ be a class.
Let $\RR$ be a relation on $A$.
An element $x$ of $A$ is '''right normal''' with respect to $\RR$ {{iff}}:
:$\forall y \in A: \map \RR {y, x}$ holds.
\end{definition}