(is-empty-set? ())
(is-empty-set? '(1 2 3))

(member? '(1 2 3) 1)
(member? '(1 2 3) 2)
(member? '(1 2 3) 3)
(member? '(1 2 3) 4)

(insert '() 1)
(insert '(2) 1)
(insert '(3 2) 1)
(insert '(3 2) 2)
(insert '(2) 2)
(insert '() 2)

(delete '() 1)
(delete '(2) 1)
(delete '(3 2) 1)
(delete '(3 2) 2)
(delete '(2) 2)
(delete '() 2)

(union '() '())
(union '(1) '())
(union '() '(1))
(union '(1) '(1))
(union '(1 2) '(1))
(union '(1) '(1 2))
(union '(1 2) '(1 2))
(union '(1 2 3 4 5) '(1 2))
(union '(1 2) '(1 2 3 4 5))

(intersection '() '())
(intersection '(1) '())
(intersection '() '(1))
(intersection '(1) '(1))
(intersection '(1 2) '(1))
(intersection '(1) '(1 2))
(intersection '(1 2) '(1 2))
(intersection '(1 2 3 4 5) '(1 2))
(intersection '(1 2) '(1 2 3 4 5))

(difference '() '())
(difference '(1) '())
(difference '() '(1))
(difference '(1) '(1))
(difference '(1 2) '(1))
(difference '(1) '(1 2))
(difference '(1 2) '(1 2))
(difference '(1 2 3 4 5) '(1 2))
(difference '(1 2) '(1 2 3 4 5))

(cardinality '())
(cardinality '(1))
(cardinality '(1 2))

(set-equal? '() '())
(set-equal? '(1) '())
(set-equal? '() '(1))
(set-equal? '(1) '(1))
(set-equal? '(1 2) '(1))
(set-equal? '(1) '(1 2))
(set-equal? '(1 2) '(1 2))
(set-equal? '(1 2 3 4 5) '(1 2))
(set-equal? '(1 2) '(1 2 3 4 5))
(set-equal? '(1 2 3 4 5) '(1 2 3 4 5))
(set-equal? '(1 2 4 5 3) '(1 2 3 4 5))

(power-set '())
(power-set '(1))
(power-set '(1 2))
(power-set '(1 2 3))
(power-set '(1 2 3 4))


(cartesian-product '() '())
(cartesian-product '(1) '())
(cartesian-product '() '(1))
(cartesian-product '(1) '(1))
(cartesian-product '(1 2) '(1))
(cartesian-product '(1) '(1 2))
(cartesian-product '(1 2) '(1 2))
(cartesian-product '(1 2 3 4 5) '(1 2))
(cartesian-product '(1 2) '(1 2 3 4 5))
(cartesian-product '(1 2 3 4 5) '(1 2 3 4 5))
(cartesian-product '(1 2 4 5 3) '(1 2 3 4 5))