Definition:Minimal Element/Also defined as
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.