8 lines
127 B
Text
8 lines
127 B
Text
let A := {1, 2}
|
|
let B := {2, 3}
|
|
|
|
assert(A + B = {1, 2, 3})
|
|
assert(A - B = {1})
|
|
assert(A - B < A)
|
|
assert(A <= A)
|
|
assert(1 in A)
|