Now, to say that a lot of objects is finite, is the same as to say that if we pass through the class from one to another we shall necessarily come round to one of those individuals already passed; that is, if every one of the lot is in any one-to-one relation to one of the lot, then to every one of the lot some one is in this same relation.

Quote