Definition:Set-Like Relation

Definition
Let $\mathcal R$ be a relation.

Let $A$ be a class.

Then $\mathcal R$ is set-like on $A$ :


 * For all $x \in A$, $\left\{{y \in A: y \mathrel{\mathcal R} x}\right\}$ is a set.