the basics of sets and set theory