Or another way to say it is that for any y that's a member of y-- let me write it this way --for any y that is a member y, there is at most one-- let me write most in capital --at most one x, such that f of x is equal to y.