A set is finite if it has a finite number of elements, that is, if for some natural number n, the elements can be put in one-to-one correspondence with the set {1, 2, … n}.