zamiana zmiennej określanej przez lambdę oraz wszystkich jej wystąpień w wyrażeniu pod lambdą na inną, niekolidującą z żadną z lambd zewnętrznych lub wewnętrznych.

przekształcenie się, przejście z jednej formy lub postaci w inną.