Essential supremum

1. REDIRECT Essential infimum and essential supremum

{{Redirect category shell|

{{R from subtopic}}

}}