a specific rule or relationship that pairs each input from a set (called the domain) with exactly one output in another set (called the range)