supremum and infimum

1. REDIRECT Infimum and supremum

{{Redirect category shell|

{{R from modification}}

}}