Элементы теории множеств. Аминова А.В. - 9 стр.

              2. Операции над множествами.

  Перечислю стандартные обозначения и термины, которыми
мы будем пользоваться.
  Пусть A, B, . . . , E, F, G, . . . , X, Y, Z – множества. Выраже-
ние
                                 x∈E
означает: "x есть элемент (или точка) множества E", или
также "x принадлежит E", а выражение

                              x∈
                               /E

– "x не принадлежит E". Равенство

                              x=y

означает: "x равно y", т. е. x совпадает с y или равно y по
определению, а выражение

                              x 6= y
– "x не равно y", т. е. x отлично от y.
   Отношения включения:

                             A⊂B

– "A содержится в B" или

                             B⊃A

– "B содержит A", означают, что "A есть подмножество или,
что то же, часть множества B", т. е.

                   (∀x) : (x ∈ A) ⇒ (x ∈ B).

Если A ⊂ B и B ⊂ A, то пишут

                             A=B

                                9