Maximal element of a partially ordered set
= Maximal element of a partially ordered set
= Maximal element
{synonym}
An element $m$ of a partially ordered set is maximal when $m\leq x$ implies $x=m$. A poset can have several maximal elements and need not have a greatest element.