math set theory topic addition