Definition:Mapping Preserves Filtered Infimum