Definition:Mapping Preserves Supremum of Subset