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)