Update SetTheory.tex