Множество бесконечно, если разность с любым конечным множеством не равна пустому множеству.

Понятие счетного множества. 

1) Множество А называется счетным, если оно эквивалентно мн-ву натуральных чисел.