Operations in Set theory — AI Alignment Forum