Definition:Mapping Preserves Directed Supremum