Functions, domains, codomains, and values

Read f: A → B as a function with domain A and codomain B, and read f(a) as the value of f at input a. Practice separating the function itself, its input, and its output.