any element of the target has at most one element that maps to it