понятие теории множеств. Подмножество множества А - множество В (обозначается В ? А), каждый элемент которого принадлежит А. Напр., множество всех четных чисел является подмножеством множества всех целых чисел.