ОПРЕДЕЛЕНИЕ: множества равномощные натуральным числам называются СЧЕТНЫЕ, иначе НЕСЧЕТНЫЕ
Доказать
а) Счетные множества самые маленькие из бесконечных (т.е. любое бесконечное множество имеет счетное подмножество)
б) Мощность бесконечного множества не изменяется от прибавления к нему счетного множества
в) Мощность несчетного множества не меняется от удаления из него счетного множества