A rule that assigns to each input exactly one output.