\begin{definition}[Definition:Set-Like Relation]
Let $\RR$ be a relation.
Let $A$ be a class.
Then $\RR$ is '''set-like''' on $A$ {{iff}}:
:For all $x \in A$, $\set {y \in A: y \mathrel \RR x}$ is a set.
\end{definition}