Basic set theory