# Definition: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.