Definition
: A
finite
set is one whose distinct elements can be counted by a natural number.