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₁, e₂, e₃, ..., e_{n}, e_{n+1}, ... ➝ nothing, and q(e₁), q(e₂), q(e₃), ..., 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. The arbitrarily large event with which the series starts has no importance at all. We can arbitrarily exclude any set of events at the big end of an abstractive set without the loss of any important property to the set as thus modified. I call the limiting character of natural relations which is indicated by an abstractive set, the 'intrinsic character' of the set; also the properties, connected with the relation of whole and part as concerning its members, by which an abstractive set is defined together form what I call its 'extrinsic character.' The fact that the extrinsic character of an abstractive set determines a definite intrinsic character is the reason of the importance of the precise concepts of space and time. This emergence of a definite intrinsic character from an abstractive set is the precise meaning of the law of convergence.