Introduction to One-One, Many-One

• Functions \subseteq Relations
• A relation from non-empty set A to non-empty set B is said to be function, if
  every element of set A has only one image in set B. In other words,
  Domain = A and no distinct ordered pairs have same first element.

DIFFERENT MAPPINGS OF FUNCTIONS

• One-One / Injective Mapping / Monomorphism

A function is said to be one-one if...