Definition:Finite Infimum