An expression, rule, or law that defines a relationship between independent input(s) and a dependent output

It maps an input to an output.