Если каждый элемент множества A является элементом множества B, то
То множество В называется подмножеством множества А .
Как лучший можешь поставить?