Noun
infimum {comp.}