Nei linguaggi di programmazione, una chiusura è una coppia variabile, ambiente in cui valutarla o una tripla parametro, corpo della funzione, ambiente in cui eseguirla o parametro, corpo della funzione se non serve l’ambiente di valutazione. Serve per implementare il binding.