5 lines
78 B
Plaintext
5 lines
78 B
Plaintext
type Set
|
|
|
|
predicate SubSet(Set s1, Set s2)
|
|
predicate Disjoint(Set s1, Set s2)
|