Package set_theory