aggiunto closure set