Подмножество (нестрогое)
Множество называется подмножеством множества если каждый элемент из является элементом множества
Обозначение:
Собственное (строгое) подмножество
Множество называется собственным подмножеством множества , если каждый элемент из является элементом множества и при этом множество содержит хотя бы один элемент не входящий в множество
Обозначение:
Неоднозначность знака
Следует иметь в виду, что знак является более универсальным. В одних учебниках он означает строгое включение, а в других любое.
Несобственное подмножество
Множество называется несобственным подмножеством множества , если оно совпадает с целиком или является пустым множеством.
Количество несобственных подмножеств
Несобственных подмножеств максимум (а на самом деле почти всегда) два. Случай когда оно одно это пустое множество.
Примеры
Рассмотрим
Несобственными подмножествами множества будут и
Собственными подмножествами множества являются множества и так далее.