Множество $A$ называется подмножеством множества $B$, если каждый элемент множества $A$ принадлежит множеству $B$. Обозначение: $A\subset B$. Подмножество множества $A$ можно определить, задав свойство, которым обладают все его элементы: ${\{x \in A \mid x \text{ обладает свойством ...} \}}$