Category:Definitions/Well-Founded Relations
Jump to navigation
Jump to search
This category contains definitions related to Well-Founded Relations.
Related results can be found in Category:Well-Founded Relations.
Definition 1
$\RR$ is a well-founded relation on $S$ if and only if:
- $\forall T \subseteq S: T \ne \O: \exists z \in T: \forall y \in T \setminus \set z: \tuple {y, z} \notin \RR$
where $\O$ is the empty set.
Definition 2
$\RR$ is a well-founded relation on $S$ if and only if:
- for every non-empty subset $T$ of $S$, $T$ has a minimal element.
Pages in category "Definitions/Well-Founded Relations"
The following 14 pages are in this category, out of 14 total.
S
- Definition:Strictly Well-Founded Relation
- Definition:Strictly Well-Founded Relation/Also known as
- Definition:Strictly Well-Founded Relation/Definition 1
- Definition:Strictly Well-Founded Relation/Definition 2
- Definition:Strictly Well-Founded Relation/Definition 3
- Definition:Strongly Well-Founded Relation