Порядок и полный порядок
В нашем разговоре о бесконечностях я вскользь упомянул о таких понятиях как кардинальные и ординальные числа. С первым из них мы немного разобрались. Напомню, кардинальным числом мы назвали объект, отражающий количество элементов в каком-либо множестве (так называемую мощность). При этом равномощным множествам в соответствие мы поставили один и тот же кардинал. Например, всем конечным множествам в качестве кардинала мы сопоставили натуральные числа, равные, собственно, количеству их элементов, а счётным множествам мы присвоили загадочный кардинал ℵ₀...