The above method of dividing all the terms of a series into two classes, of which the one wholly precedes the other, was brought into prominence by Dedekind,[17] and is therefore called a "Dedekind cut." With respect to what happens at the point of section, there are four possibilities: (1) there may be a maximum to the lower section and a minimum to the upper section, (2) there may be a maximum to the one and no minimum to the other, (3) there may be no maximum to the one, but a minimum to the other, (4) there may be neither a maximum to the one nor a minimum to the other. Of these four cases, the first is illustrated by any series in which there are consecutive terms: in the series of integers, for instance, a lower section must end with some number and the upper section must then begin with . The second case will be illustrated in the series of ratios if we take as our lower section all ratios up to and including 1, and in our upper section all ratios greater than 1. The third case is illustrated if we take for our lower section all ratios less than 1, and for our upper section all ratios from 1 upward (including 1 itself). The fourth case, as we have seen, is illustrated if we put in our lower section all ratios whose square is less than 2, and in our upper section all ratios whose square is greater than 2. [17]Stetigkeit und irrationale Zahlen, 2nd edition, Brunswick, 1892. We may neglect the first of our four cases, since it only arises in series where there are consecutive terms. In the second of our four cases, we say that the maximum of the lower section is the lower limit of the upper section, or of any set of terms chosen out of the upper section in such a way that no term of the upper section is before all of them. In the third of our four cases, we say that the minimum of the upper section is the upper limit of the lower section, or of any set of terms chosen out of the lower section in such a way that no term of the lower section is after all of them. In the fourth case, we say that [Pg 69] there is a "gap": neither the upper section nor the lower has a limit or a last term. In this case, we may also say that we have an "irrational section," since sections of the series of ratios have "gaps" when they correspond to irrationals. What delayed the true theory of irrationals was a mistaken belief that there must be "limits" of series of ratios. The notion of "limit" is of the utmost importance, and before proceeding further it will be well to define it. A term is said to be an "upper limit" of a class with respect to a relation if (1) has no maximum in , (2) every member of which belongs to the field of precedes , (3) every member of the field of which precedes precedes some member of . (By "precedes" we mean "has the relation to.") This presupposes the following definition of a "maximum":—