 Given the notion of the ancestral of relation \(R\), Frege then defines its weak ancestral, which he termed “\(y\) is a member of the \(R\)-series beginning with \(x\)” (cf. Begr, Part III, Proposition 99; Gl, §81, and Gg I, §46):