Eindeutigkeit und Charakterisierung

Mindestens einen Kandidaten konstruieren, höchstens einen durch Vergleich zulassen und beide Teile zu einem Genau-ein-Satz verbinden.