A rule that gives exactly one output for each input — a relationship you can hold rather than perform.