discussion:la:set_theory