One to one

A function is one-to-one if

$$ f(a) = f(b) \implies a = b $$ Another way:

$$ a \not = a' \implies f(a) \not = f(a') $$ Translation: Distinct inputs give distinct outputs, no two arrays have the same head