+ 1 = 0). Более существенным мотивом введения пустого множества является то, что заранее не всегда известно (или неизвестно вовсе), существуют ли элементы, определяющие какое-то множество. Например, множество выигрышей в следующем тираже спортлото на купленные билеты может оказаться пустым. Никто еще не знает, является ли
- 21 -
пустым или нет множество всех решений в целых числах уравнения x>3 + y>3 + z>3 = 30. Без понятия пустого множества во всех подобных случаях, говоря о каком-нибудь множестве, приходилось бы добавлять оговорку «если оно существует».
3. Множество и подмножества. Множество А, все элементы которого принадлежат и множеству В, называется подмножеством (частью) множества В. Это отношение между множествами называют включением и обозначают символом ⊂, т.е. А ⊂ В (А включено в В) или В ⊃ А (В включает А). Например, множество конденсаторов электронной цепи является подмножеством всех ее компонентов, множество положительных чисел — это подмножество множества действительных чисел.
Отношение А ⊂ В допускает и тождественность (А = В), т.е. любое множество можно рассматривать как подмножество самого себя (А ⊂ А). Полагают также, что подмножеством любого множество является пустое множество ∅ т.е. ∅ ⊂ А. Одновременное выполнение соотношения А ⊂ В и В ⊂ А возможно только при А = В. И обратно А = В, если А ⊂ В и В ⊂ А. Это может служить определением равенства двух множеств через отношение включения.
Наряду с А ⊂ В, в литературе можно встретить и другое обозначение А ⊆ В. При этом под А ⊂ В понимают такое отношение включение, которое не допускает равенства А и В (строгое включение). Если допускается А = В, то пишут А ⊆ В (нестрогое включение). Мы будем придерживаться принятого ранее обозначения как для строгого, так и для нестрогого включения.
4. Множество подмножеств. Любое непустое множество А имеет, по крайней мере, два различных подмножества: само А и пустое множество ∅. Эти подмножества называются несобственными, а все другие подмножества А называют собственными(эта терминология связана со словами «собственно подмножества», а не со словом «собственность»). Конечные собственные подмножества образуются всевозможными сочетаниями по одному, два, три и т.д. элементов данного множества.
Элементы множества сами могут являться некоторыми множествами. Например, книга из множества книг в шкафу может рассматриваться как множество страниц. Здесь следует обратить внимание на то, что речь идет об элементах множества, а не о подмножествах (никакая совокупность страниц не может рассматриваться как подмножество множества книг).
