Update sets-formalism.tex