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.

# finite (idea)

See all of finite, there is 1 more in this node.