Origin: Latin suffix -tion
Definition, synonyms and related words
The act of beta reducing, an instance of replacing a function call by the result of calling a function.