Конечные и бесконечные множества

То, из чего состоит множество, т.е. объекты, образующие множество, называется его элементами. Элементы множества различны и отличаются друг от друга.

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

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

Если элемент т принадлежит множеству М, то используется запись включение , которое указывает, что т является элементом множества М. В противном случае - запись указывает на то, что т не является элементом множества М.