Maximality in a partially ordered set
= Maximality in a partially ordered set
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.