supremum
when it exists, the least element of a partially ordered set which is greater than or equal to all elements of a given subset
en-US/səˈpɹiməm/
when it exists, the least element of a partially ordered set which is greater than or equal to all elements of a given subset