set theory (2)