Infimum and supremum (source code)

= Infimum and supremum
{wiki=Infimum_and_supremum}