A function $f$ is one-one if:

• a$f(x_1) = f(x_2) \Rightarrow x_1 = x_2$
• bevery element has many images
• cdomain = codomain
• drange = codomain