1. Any element of an injective function accepts IN MOST an antecedent.

Jedes Element einer injective Funktion lässt ZU AM MEISTEN einer Vorgeschichte zu.