infimum

1. REDIRECT Infimum and supremum

{{R from move}}

{{R printworthy}}