Injektivität, injektive Funktionen