A set is countably infinite if its elements can be put into a one-to-one correspondence with the natural numbers. This means there is a way to list the elements of the set in a sequence without missing any.
Cardinality: The measure of the number of elements in a set.
Natural Numbers: The set of positive integers starting from 1, often denoted by N.
One-to-One Correspondence: A relationship between two sets where each element of one set pairs with exactly one element of another, and vice versa.