A finite subset is a subset of a set that contains a limited number of distinct elements, meaning it can be counted using natural numbers. The concept is fundamental in set theory and is used to differentiate between sets that can be fully enumerated and those that cannot, such as infinite sets.