Maximal and minimal elements (source code)

= Maximal and minimal elements
{wiki}

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