Set_construction