1. теория множеств множество, для которого существует подмножество, когда каждый элемент подмножества является элементом надмножества; символ ⊇, ⊃

Источник: Wiktionary.org