3
Use of this equality is often referred to as
β
-conversion
or
β
-reduction
.