# 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 13 pages are in this category, out of 13 total.