Здравствуйте, ути-пути, Вы писали:

lpd>>Принятое в математике определение "мощность множества", например, исходит из построения взаимно-однозначных соответствий.

УП>Скорее равномощность. Для разной мощности соответствия уже не взаимные.

И тут нужно влезть. Хотя ни уха ни рыла, как всегда. Мощность — есть класс эквивалентности по взаимно-однозначному соответствию. Если конечно это что-то говорит "патриотически" настроенному индивидууму.