beta reduces

listen to the pronunciation of beta reduces
English - English
Third-person singular simple present indicative form of beta reduce
beta reduce
To syntactically replace a function call by the result of calling that function

The term (\lambda x.\, x)\,y can beta reduce to y\!.