Definition of "infima"

infima