If there is exactly one location in the Codomain for every location in the Domain for the Transformation