Essential supremum and essential infimum

Summary