Definition:Set-Like Relation

It has been suggested that this page or section be merged into Definition:Relation (Class Theory). To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Mergeto}} from the code.

Definition

Let $\RR$ be a relation.

This article, or a section of it, needs explaining. In particular: To define a relation, you need first to establish "relation on what?" Domain and image? You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code.

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

• 1980: Kenneth Kunen: Set Theory: An Introduction to Independence Proofs: Definition $\text {III}.5.2$