 Greatest element and least element

A greatest element lies above every member of an ordered set, and a least element lies below every member. Antisymmetry makes either unique if it exists. A greatest element is maximal, but a maximal element need not be greatest.