type Set

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