Мощность множества выражается в

множества Мо́щность мно́жества, кардина́льное число́ мно́жества (лат. cardinalis ←cardo — главное обстоятельство, стержень, сердцевина) — характеристика множеств (в том числе бесконечных), обобщающая понятие количества (числа)элементов конечного множества. В основе этого понятия лежат естественные представления о сравнении множеств: Любые два множества, между элементами которых может быть установлено взаимно-однозначное соответствие (биекция), содержат одинаковое количество элементов (имеют одинаковую мощность).Обратно: множества, равные по мощности, должны допускать такое взаимно-однозначное соответствие.Часть множества не превосходит полного множества по мощности (то есть по количеству элементов). До построения теории мощности множеств множества различались по признакам: пустое/непустое и конечное/бесконечное, также конечные множества различались по количеству элементов. Бесконечные же множества нельзя было сравнить. Мощность множеств позволяет сравнивать бесконечные множества. Например, счётные множестваявляются самыми «маленькими» бесконечными множествами.