Definition:Set-Like Relation

Definition
Let $\RR$ be a relation.

Let $A$ be a class.

Then $\RR$ is set-like on $A$ :


 * For all $x \in A$, $\set {y \in A: y \mathrel \RR x}$ is a set.