I am trying to define "when" a function loses its property of being a function when it is inverted, but the only sure way I know of is simply by inspection that graphically, the inverse function looks like it fails the vertical line test. But what is a more formal way to deduce that a function has at least two possible outputs for a given input?