Definition:Set-Like Relation

From ProofWiki
Jump to navigation Jump to search



Definition

Let $\RR$ be a relation.



Let $A$ be a class.


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

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


Sources