Any element M of a partially ordered set A which includes a subset B, such that M is greater than or equal to every element of B.