Operations in Set theory — LessWrong