Original: In each of these ordered pairs (a, b), the first element a is from the domain, the second element b is from the codomain, and every element in the domain is the first element in exactly one ordered pair.
Simplified: Each element of the domain will be associated with one element of the codomain.