It takes an input
It produces exactly one output for each input
Each input is paired with only one output
You can test it with the vertical line test if it is graphed
Repeated x-values cannot have different y-values
The rule or equation gives a single result for every allowed value of the input
A table, mapping, or set of ordered pairs is a function if no input repeats with different outputs