Пусть множество А является подмножеством множества В. Это обозначается:
В \(\in\) А
А \(\in\) В
В \(\subset\) А
А \(\subset\) В