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