# Definition:Set-Like Relation

## Definition

Let $\mathcal R$ be a relation.

Let $A$ be a class.

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

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