A function that has each output mapped to by at most one input.
Note: A function is [see page 31, injective] if each element in the co-domain has a unique pre-image.