 Maximal and minimal elements

A maximal element has no strictly greater element; a minimal element has no strictly smaller one. Either can be nonunique, unlike a greatest or least element. These notions are defined for arbitrary partially ordered sets.