Every input (x) gets exactly ONE output (y)
If any x-value repeats with different y-values, it is NOT a function. Repeated y-values are OK!