Определение:Множество A  называется подмножеством множества B , если все элементы, принадлежащие A , также принадлежат B. Формальное определение:символ \subset  является аналогом , то есть в случае A \subset B  в B  есть элементы, которых нет в A.Обе системы обозначений предусмотрены стандартом ISO 31-11, но используют символ \subset  в разных смыслах, что может привести к путанице. В данной статье мы будем использовать последнюю систему обозначений.Множество B  называется надмножеством множества A , если A  является подмножеством множества B.Множества A  и B  называются равными A B , если они состоят из одних и тех же элементов, то есть A \subseteq B  и B \subseteq A.Собственное и несобственное подмножество:Любое множество B  среди своих подмножеств содержит само себя и пустое множество. Само множество B  и пустое множество называют несобственными подмножествами, остальные подмножества называют собственными подмножествами.То есть, если мы хотим исключить само B  и пустое множество из рассмотрения, мы пользуемся понятием собственного подмножества, которое определяется так:В зарубежной литературе несобственным подмножествам в вышеуказанном смысле соответствуют тривиальные, а собственным — нетривиальные, а термин «собственное подмножество» применяется в значении «строгое включение A в B» или «подмножество A, строго входящее в множество B, и в котором нет как минимум одного элемента множества B». То есть в отличие от собственного подмножества в русскоязычных источниках, proper subset B не включает само множество B, но включает пустое множество. Как следствие: так как пустое множество является подмножеством любого множества, то оно является собственным подмножеством всех множеств.В этом случае, если вдобавок нужно исключить из рассмотрения пустое множество, нужно использовать понятие нетривиального подмножества, которое определяется так:Примеры:Множества \varnothing,~ \0\,~ \1,3,4\,~ \0,1,2,3,4,5\  являются подмножествами множества \ 0,1,2,3,4,5\.Множества \varnothing,~ \0,1,2,3,4,5\  являются тривиальными подмножествами множества \ 0,1,2,3,4,5\,  все остальные подмножества из элементов множества — нетривиальными или собственными.Множества \ \varnothing, \uparrow, \mboxoca \,~ \ \$,\%, ,\uparrow \,~ \\varnothing\,~ \varnothing  являются подмножествами множества \ \$, \%, \varnothing, \uparrow,, \mboxoca \.Свойства:Пустое множество является подмножеством любого другого, поэтому оно является наименьшим множеством относительно отношения подмножества:Подмножества конечных множеств:Если исходное множество конечно, то у него существует конечное количество подмножеств. А именно, у n  -элементного множества существует 2^n  подмножеств. Чтобы убедиться в этом, достаточно заметить, что каждый элемент может либо входить, либо не входить в подмножество, а значит, общее количество подмножеств будет n  -кратным произведением двоек. Если же рассматривать только подмножества n  -элементного множества из k\le n  элементов, то их количество выражается биномиальным коэффициентом \textstyle\binomnk. Для проверки этого факта можно выбирать элементы подмножества последовательно. Первый элемент можно выбрать n  способами, второй n-1  способом, и так далее, и, наконец, k  -й элемент можно выбрать n-k+1  способом. Таким образом мы получим последовательность из k  элементов, и ровно k!  таким последовательностям соответствует одно подмножество. Значит, всего найдется \textstyle\fracn \dots k!\binomnk  таких подмножеств.