Infimum (source code)

= Infimum
{title2=$\inf$}
{wiki=Infimum_and_supremum}

The infimum of a set of real numbers is its greatest lower bound.

= Infima
{synonym}