CHAPTER IV
THE DEFINITION OF ORDER
WE have now carried our analysis of the series of natural numbers to the point where we have obtained logical definitions of the members of this series, of the whole class of its members, and of the relation of a number to its immediate successor. We must now consider the serial character of the natural numbers in the order 0, 1, 2, 3,.... We ordinarily think of the numbers as in this order, and it is an essential part of the work of analysing our data to seek a definition of "order" or "series" in logical terms.
The notion of order is one which has enormous importance in mathematics. Not only the integers, but also rational fractions and all real numbers have an order of magnitude, and this is essential to most of their mathematical properties. The order of points on a line is essential to geometry; so is the slightly more complicated order of lines through a point in a plane, or of planes through a line. Dimensions, in geometry, are a development of order. The conception of a limit, which underlies all higher mathematics, is a serial conception. There are parts of mathematics which do not depend upon the notion of order, but they are very few in comparison with the parts in which this notion is involved.
In seeking a definition of order, the first thing to realise is that no set of terms has just one order to the exclusion of others. A set of terms has all the orders of which it is capable. Sometimes one order is so much more familiar and natural to our thoughts that we are inclined to regard it as the order of that set of terms; but this is a mistake. The natural numbers—or the "inductive" numbers, as we shall also call them—occur to us most readily in order of magnitude; but they are capable of an infinite number of other arrangements. We might, for example, consider first all the odd numbers and then all the even numbers; or first 1, then all the even numbers, then all the odd multiples of 3, then all the multiples of 5 but not of 2 or 3, then all the multiples of 7 but not of 2 or 3 or 5, and so on through the whole series of primes. When we say that we "arrange" the numbers in these various orders, that is an inaccurate expression: what we really do is to turn our attention to certain relations between the natural numbers, which themselves generate such-and-such an arrangement. We can no more "arrange" the natural numbers than we can the starry heavens; but just as we may notice among the fixed stars either their order of brightness or their distribution in the sky, so there are various relations among numbers which may be observed, and which give rise to various different orders among numbers, all equally legitimate. And what is true of numbers is equally true of points on a line or of the moments of time: one order is more familiar, but others are equally valid. We might, for example, take first, on a line, all the points that have integral co-ordinates, then all those that have non-integral rational co-ordinates, then all those that have algebraic non-rational co-ordinates, and so on, through any set of complications we please. The resulting order will be one which the points of the line certainly have, whether we choose to notice it or not; the only thing that is arbitrary about the various orders of a set of terms is our attention, for the terms themselves have always all the orders of which they are capable.
One important result of this consideration is that we must not look for the definition of order in the nature of the set of terms to be ordered, since one set of terms has many orders. The order lies, not in the class of terms, but in a relation among the members of the class, in respect of which some appear as earlier and some as later. The fact that a class may have many orders is due to the fact that there can be many relations holding among the members of one single class. What properties must a relation have in order to give rise to an order?
The essential characteristics of a relation which is to give rise to order may be discovered by considering that in respect of such a relation we must be able to say, of any two terms in the class which is to be ordered, that one "precedes" and the other "follows." Now, in order that we may be able to use these words in the way in which we should naturally understand them, we require that the ordering relation should have three properties:—
(1) If
precedes
