# Category:Foundational Relations

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.

## Pages in category "Foundational Relations"

The following 5 pages are in this category, out of 5 total.