A mapping is the tagged variation of a set.