Definition:Set-Like Relation

From ProofWiki
Jump to navigation Jump to search

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.


Sources