Das heißt eigentlich nicht mehr als daß die beiden Seiten zusammen
(die ganze Definition) ein Zeichen bilden. Daß sie nur mit Beziehung auf einander (& nicht einzelnen) Bedeutung haben.
     Und dasselbe gilt wenn es heißt
      „F(a) und a≝f(b)” oder F(a) wo a≝f(b) ist.” Auch hier bilden Fa & die Definition wirklich ein Zeichen, oder, richtiger & ohne Mythos,
sie gehören zusammen denn & ich hätte ja auch schreiben können:
Fa≝F(f(b))