Definition:Infimum

Also see

 * Supremum