Ebenso bedeutet
»zu jedem Gegenstande, der unter G fällt, steht ein unter F fallender in der Beziehung φ«,
dass die beiden Sätze
»a fällt unter G«
und
»kein unter F fallender Gegenstand steht zu a in der Beziehung φ«
nicht mit einander bestehen können, was auch a sein möge.
§ 72. Wir haben nun gesehen, wann die unter die Begriffe F und G fallenden Gegenstände einander durch die Beziehung φ zugeordnet sind. Hier soll nun diese Zuordnung eine beiderseits eindeutige sein. Darunter verstehe ich, dass folgende beiden Sätze gelten:
1. wenn d in der Beziehung φ zu a steht, und wenn d in der Beziehung φ zu e steht, so ist allgemein, was auch d, a und e sein mögen, a dasselbe wie e;
2. wenn d in der Beziehung φ zu a steht, und wenn b in der Beziehung φ zu a steht, so ist allgemein, was auch d, b und a sein mögen, d dasselbe wie b.
Hiermit haben wir die beiderseits eindeutige Zuordnung auf rein logische Verhältnisse zurückgeführt und können nun so definiren: