Maximality in a partially ordered set

ID: 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.

New to topics? Read the docs here!