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.
For example, we see a train approaching during a minute. The event which is the life of nature within that train during the minute is of great complexity and the expression of its relations and of the ingredients of its character baffles us. If we take one second of that minute, the more limited event which is thus obtained is simpler in respect to its ingredients, and shorter and shorter times such as a tenth of that second, or a hundredth, or a thousandth—so long as we have a definite rule giving a definite succession of diminishing events—give events whose ingredient characters converge to the ideal simplicity of the character of the train at a definite instant. Furthermore there are different types of such convergence to simplicity. For example, we can converge as above to the limiting character expressing nature at an instant within the whole volume of the train at that instant, or to nature at an instant within some portion of that volume—for example within the boiler of the engine—or to nature at an instant on some area of surface, or to nature at an instant on some line within the train, or to nature at an instant at some point of the train. In the last case the simple limiting characters arrived at will be expressed as densities, specific gravities, and types of material. Furthermore we need not necessarily converge to an abstraction which involves nature at an instant. We may converge to the physical ingredients of a certain point track throughout the whole minute. Accordingly there are different types of extrinsic character of convergence which lead to the approximation to different types of intrinsic characters as limits.
We now pass to the investigation of possible connexions between abstractive sets. One set may ‘cover’ another. I define ‘covering’ as follows: An abstractive set p covers an abstractive set q when every member of p contains as its parts some members of q. It is evident that if any event e contains as a part any member of the set q, then owing to the transitive property of extension every succeeding member of the small end of q is part of e. In such a case I will say that the abstractive set q ‘inheres in’ the event e. Thus when an abstractive set p covers an abstractive set q, the abstractive set q inheres in every member of p.
Two abstractive sets may each cover the other. When this is the case I shall call the two sets ‘equal in abstractive force.’ When there is no danger of misunderstanding I shall shorten this phrase by simply saying that the two abstractive sets are ‘equal.’ The possibility of this equality of abstractive sets arises from the fact that both sets, p and q, are infinite series towards their small ends. Thus the equality means, that given any event x belonging to p, we can always by proceeding far enough towards the small end of q find an event y which is part of x, and that then by proceeding far enough towards the small end of p we can find an event z which is part of y, and so on indefinitely.
The importance of the equality of abstractive sets arises from the assumption that the intrinsic characters of the two sets are identical. If this were not the case exact observation would be at an end.
It is evident that any two abstractive sets which are equal to a third abstractive set are equal to each other. An ‘abstractive element’ is the whole group of abstractive sets which are equal to any one of themselves. Thus all abstractive sets belonging to the same element are equal and converge to the same intrinsic character. Thus an abstractive element is the group of routes of approximation to a definite intrinsic character of ideal simplicity to be found as a limit among natural facts.
If an abstractive set p covers an abstractive set q, then any abstractive set belonging to the abstractive element of which p is a member will cover any abstractive set belonging to the element of which q is a member. Accordingly it is useful to stretch the meaning of the term ‘covering,’ and to speak of one abstractive element ‘covering’ another abstractive element. If we attempt in like manner to stretch the term ‘equal’ in the sense of ‘equal in abstractive force,’ it is obvious that an abstractive element can only be equal to itself. Thus an abstractive element has a unique abstractive force and is the construct from events which represents one definite intrinsic character which is arrived at as a limit by the use of the principle of convergence to simplicity by diminution of extent.
When an abstractive element A covers an abstractive element B, the intrinsic character of A in a sense includes the intrinsic character of B. It results that statements about the intrinsic character of B are in a sense statements about the intrinsic character of A; but the intrinsic character of A is more complex than that of B.