first set theory assignment