Definition of "supremum"

supremum