]> Relates a MapSet to the Map(s) it contains. The containsMap relation is stronger than the hasMap relation: the containsMap predicate forces the domain of MapSet on the subject.