Added set theory resources