discussion:en:set_theory