Сравнение множеств

Множество содержится в множестве , если каждый элемент есть элемент . Записывается это следующим способом: . В этом случае называется подмножеством . Если и , то называется собственным подмножеством .

Мощность множества обозначается как . Для конечных множеств мощность – это число элементов. Например, , но . Если , то множества и называются равномощными.

Иногда в литературе вместо мощности множества используется другой равнозначный ему термин: кардинальное число множества (от латинского cardinalis – главный). Этот термин был введен Георгом Кантором.