We may want to change all the elements of a given set by applying to
them a function. This is called a map operation, not to be confused
with the map data structure. The predefined functional iterator
implementing the mapped operation over sets is called
Set.map and is
used as follows.
Note: See the predefined namespace Set