Подмножество (нестрогое)

Множество называется подмножеством множества если каждый элемент из является элементом множества

Обозначение:

Собственное (строгое) подмножество

Множество называется собственным подмножеством множества , если каждый элемент из является элементом множества и при этом множество содержит хотя бы один элемент не входящий в множество

Обозначение:

Несобственное подмножество

Множество называется несобственным подмножеством множества , если оно совпадает с целиком или является пустым множеством.

Примеры

Рассмотрим

Несобственными подмножествами множества будут и

Собственными подмножествами множества являются множества и так далее.