When it exists, the least element of a partially ordered set which is grater than or equal to all elements; the least of majoring elements of a set in itself.