Definition:Mapping Preserves Finite Infimum