“x ist ein Glied zwischen a und b” würde so geschrieben:
“aRx & xRb . V . (Ex).aRx & xR