Maximal element of a partially ordered set

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

An element is maximal when there is no strictly greater element of the partially ordered set. This is different from being a greatest element, which must dominate every other element.