more notes on set theory