$\noindent Ah right, so you meant that if there's more than $y$-value for a certain $x$-value, it's not a function? Yeah, that's correct by definition of function.$
$\noindent Edit: Oh wait, you meant that a function is allowed to have more than one $x$-value map to a given $y$-value. Yes, this...