Definition:Minimal Element/Also defined as

From ProofWiki
Jump to navigation Jump to search

Minimal Element: Also defined as

Most treatments of the concept of a minimal element restrict the definition of the relation $\RR$ to the requirement that it be an ordering.

However, this is not strictly required, and this more general definition as used on $\mathsf{Pr} \infty \mathsf{fWiki}$ is of far more use.