confusion regarding the concept of a function I was reading principles of mathematical analysis by Walter Rudin chapter 2 when a confusion about the definition of a function cropped up. (Read definition in comment below) I had thought that functions were maps from
 a set called the domain to another called the codomain.  From what i knew before, these maps should not be one-many. Otherwise it would simply be a Relation not a function. But the book in its definition does not talk about the fact that functions should not be one-many. Infact it doesnt differentiate between  a general mapping and a function and puts no restriction on what a function can be. So my question is where exactly is the mistake?
UPDATE: The discussion till now points that maybe the "an" word in the definition points towards uniqueness of image $f(x)$ of an element $x$ in the domain. I have  also commented below regarding "well-defined functions" and "not well-defined functions". I think the notion of "well-defined"ness has got to do with differences in the output for the same input in various "forms" rather than just an element in the domain mapping to various elements in the range. Hence it does not in anyway interfere with the notion that a "function" cannot be one-many. Also to make things clear, Rudin uses the word "or" in conjunction with the word "mapping" and "function". Hence he is essentially saying that the mapping is a function and a function is a mapping. Which also implies that relations in general are not mapping. Please correct me if I've been wrong.
 A: Rudin gives the following definition:

Definition 2.1 Consider two sets $A$ and $B$, whose elements may be any objects whatsoever, and suppose that with each element $x$ of $A$ there is associated, in some manner, an element of $B$, which we denote by $f(x)$. Then $f$ is said to be a function from $A$ to $B$ (or a mapping of $A$ into $B$). The set $A$ is called the domain of $f$ (we also say $f$ is defined on $A$), and the elements $f(x)$ are called the values of $f$. The set of all values of $f$ is called the range of $f$.

In contrast:

Definition: Let $A$ and $B$ be two arbitrary sets. We say their cartesian product, denoted, $A\times{B}$, is the set $\{(a,b)\mid a\in{A}\ \mbox{and }b\in{B}\}$. That is the cartesian product is the set of all ordered pairs of elements in $A$ and $B$. A  (binary) relation, $R$, is any subset of $A\times{B}$.

Thus the definitions are quite distinct. So, because I have a relation between two sets, does not imply I have a function. Whereas, a function is a special kind of relation.
See here, a function is described as functional, elements in the domain are related to distinct elements in the codomain and left-total: http://en.wikipedia.org/wiki/Relation_(mathematics)
A: Copying from the definition given in Rudis above: suppose that for each element $x$ of $A$ there is associated, in some manner, an element $b$ of $B$ ...
the linguistic interpretation rests on the word 'an' indicating that with each element in the domain $A$ there is associated just one (precisely one, exactly one, more than zero and less than two) element in $B$. Thus, it is to be understood that Rudin excludes multivalued functions as well as functions allowed to not attain a value at a point. 
The more rigorous definition of function in terms of a relation specifying a certain condition might appeal to some since it is more rigorous but it also serves to obscure the process-like nature that one usually associates with the word 'function'. This is especially true in analysis where the subject matter is the study of the analytic properties of functions and not the set-theoretic issues of functions. 
A: I agree with you. Rudin should really have said, "there is associated, in some manner, a unique element $b \in B$".  Without inserting this key word, the definition allows $f$ to be multivalued.  
