Category:Foundational Relations

From ProofWiki
Jump to: navigation, search

This category contains results about Foundational Relations.


Let $\left({A, \mathcal R}\right)$ be a relational structure where $A$ is either a proper class or a set.


Then $\mathcal R$ is a foundational relation on $A$ if and only if every non-empty subset of $A$ has an $\mathcal R$-minimal element.