Tractatus Logico-Philosophicus: the original authoritative edition

by Ludwig Wittgenstein

Similarly the series of propositions “aRb”, “(∃x) : aRx . xRb”, “(∃x, y) : aRx . aRy . yRb”, etc. (If b stands in one of these relations to a, I call b a successor of a.)