It has an input.
It has an output.
Each input gives exactly one output.
No input is matched with more than one output.
It can be written as y = f(x).
It passes the vertical line test if graphed.
A table shows one output for each input.
A mapping shows one arrow from each input to one output.