Давайте сначала.

у Вас неправильно определено.

-
это не "содержит в качестве элемента"Просите, но, выделенное курсивом, не понимаю
Есть значок "

": запись

означает, что объект

является элементом множества

.
Есть значок "

": запись

означает, что множество

является подмножеством множества

, то есть, каждый элемент множества

является элементом множества

.
Есть значок "

": запись

означает, что множество

является подмножеством множества

, при этом

.
Замечание. Довольно часто значок "

" используется
вместо значка "

". В таком случае значок "

" не используется.