la:discussion:en:set_theory