when it exists, the greatest element of a partially ordered set which is lower than or equal to all elements; the greatest of minorings of a set in itself
