Пусть каждый элемент из множества A является элементом множества B тогда пишем :

Если каждый элемент из множества \( A \) является элементом множества \( B \), то можно записать это следующим образом:

\[ A \subseteq B \]

Это обозначает, что множество \( A \) является подмножеством множества \( B \). Если при этом \( A \) не равно \( B \), то говорим, что \( A \) является строгим подмножеством множества \( B \) и записываем это как:

\[ A \subset B \]