 The relation Rxy on which Frege focuses is that of y (immediately) succeeding x. This has the further advantage of being a function, i.e., a many-one relation. This enabled Frege to prove that the ancestral of successor is linear: 