6 lines
110 B
Plaintext
6 lines
110 B
Plaintext
type Set
|
|
|
|
predicate SubSet(Set s1, Set s2)
|
|
predicate Disjoint(Set s1, Set s2)
|
|
predicate Union(Set s1, Set s2)
|