Большой энциклопедический словарь
ПОДМНОЖЕСТВО — понятие теории множеств. Подмножество множества А — множество В (обозначается В ? А) — каждый элемент которого принадлежит А. Напр., множество всех четных чисел является подмножеством множества всех целых чисел.