Definition:Maximal Element/Also defined as
Jump to navigation
Jump to search
Maximal Element: Also defined as
Most treatments of the concept of a maximal 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.