Every input is mapped to a unique output with