If there is at most one location in the Codomain for every location in the Domain