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

• В \(\in\) А
• А \(\in\) В
• В \(\subset\) А
• А \(\subset\) В