For example if Q_1 be a quantitative measurement found in q( e_1), and Q_2 the homologue to Q_1 to be found in q( e_2), and Q_3 the homologue to Q_1 and Q_2 to be found in q( e_3), and so on, then the series Q_1, Q_2, Q_3, ..., Q_{n}, Q_{n+1}, ..., though it has no last term, does in general converge to a definite limit.

Accordingly there is a class of limits l( s) which is the class of the limits of those members of q( e_{n}) which have homologues throughout the series q( s) as n indefinitely increases.
We can represent this statement diagrammatically by using an arrow (-- >) to mean 'converges to.' Then e_1, e_2, e_3, ..., e_{n}, e_{n+1}, ...

--> nothing, and q( e_1), q( e_2), q( e_3), ..., q( e_{n}), q( e_{n+1}), ...

--> l( s).
The mutual relations between the limits in the set l( s), and also between these limits and the limits in other sets l( s'), l( s"), ..., which arise from other abstractive sets s', s", etc., have a peculiar simplicity.
Thus the set s does indicate an ideal simplicity of natural relations, though this simplicity is not the character of any actual event in s.
We can make an approximation to such a simplicity which, as estimated numerically, is as close as we like by considering an event which is far enough down the series towards the small end.

It will be noted that it is the infinite series, as it stretches away in unending succession towards the small end, which is of importance.