Множество есть любое собрание определенных и различимых между собой объектов нашей интуиции и интеллекта, мыслимое как единое целое. Эти объекты называются элементами множества .

Термин «множество» характеризует совокупность, объединение некоторых объектов произвольной природы – элементов множества, которые обладают каким-либо общим для них свойством (признаком). Этот общий признак содержится в самом названии (задании) множества. Множество состоит из элементов и считается заданным, если о каждом из рассматриваемых объектов известно, входит он во множество или нет. Множество может быть задано либо перечислением его элементов, либо описанием свойств его элементов. Символическая запись означает принадлежность элемента множеству . Запись означает, что элемент не принадлежит множеству .

; ; . Рис. 2.1.

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

Если множество состоит из конечного числа элементов, оно называется конечным. При этом число элементов множества может быть очень велико или вообще неизвестно. Множество может состоять также из бесконечного количества элементов, тогда оно называется бесконечным.

Свойства включения:

1. Каждое множество есть подмножество самого себя ;

2. Если , а , то ;

3. , т.е. множества и равны тогда и только тогда, когда эти множества состоят из одних и тех же элементов;

4. Каждый элемент множества определяет некоторое подмножество множества : .

Множество, не содержащее ни одного элемента, называется пустым и обозначается .

1. Любое множество содержит в качестве подмножества.

2. Каждое множество имеет, по крайней мере, два различных подмножества: и .

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

Множество всех подмножеств множества называется множеством-степенью P множества .

Если не содержит элементов, т.е. , то его единственным подмножеством является .

Если – одноэлементное множество, т.е. , то его подмножествами являются и . Число этих подмножеств равно 2.

Если – двухэлементное множество, т.е. , то его подмножествами являются , , и . Число этих подмножеств равно 4.

Несложно убедиться в том, что множество-степень P конечного –элементного множества состоит из подмножеств.