6 lines
134 B
Plaintext
6 lines
134 B
Plaintext
type Set
|
|
|
|
predicate SubSet(Set s1, Set s2)
|
|
symmetric predicate Disjoint(Set s1, Set s2)
|
|
symmetric predicate Intersect(Set s1, Set s2)
|