Es sollte also etwa heißen „(∃x)aRxRb”, aber hier ist || steht das x sozusagen im Plural, da, im Falle mehrere Glieder die Verbindung zwischen a & b herstellen, nicht jedes sie herstellt sondern nur alle zusammen.