type Set

predicate SubSet(Set s1, Set s2)
predicate Disjoint(Set s1, Set s2)