let map = DomSet.map