Definition:Infimum on Subset Preserving Mapping