A

set X is said to be

finite if there exists a

bijection f:X->{1,2,3,...,n} for some

natural number n. Then, n is called the

cardinal of X, often denoted |X|.

Basically, a set is finite if you can count the number of elements in it. Above, we see a formal notion of counting in the bijection between the given set X and the set of the first n natural numbers.