Подмножество — это множество, содержащееся в другом множестве. Если множество A = {1, 2} и множество B = {1, 2, 3, 4}, то A является подмножеством B. Каждое множество является подмножеством самого себя. Пустое множество является подмножеством любого множества.

Собственное подмножество — это подмножество, которое не равно исходному множеству. Множество A содержит 2 элемента; множество B содержит 4 элемента. Поскольку A ≠ B, A является собственным подмножеством B. Число подмножеств множества, содержащего n элементов, равно 2^n.

Подмножества встречаются в теории множеств, логике и информатике. В теории вероятностей событиями считаются подмножества элементарного пространства. В базах данных запросы выбирают подмножества записей. Концепция проста, но является основополагающей для современной математики.

• Множество, содержащееся внутри другого множества
• Каждое множество является подмножеством самого себя.
• Пустое множество является подмножеством любого множества.
• Количество подмножеств равно 2^n