Definition, synonyms and related words
A function, in lambda calculus, that is the subject of application