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

UptoLike

Составители: 

B
A
Рис. 1.
являющееся подмножеством множества B, называется разно-
стью между B и A, или дополнением (к) A в B и обознача-
ется одним из указанных ниже символов:
CA C
B
A B\A B A
(см. рис. 1, где заштриховано дополнение к A в B ).
E
X
Y
Рис. 2.
Пусть A, B, X, Y части множества E. Тогда
CCY = Y,
E\E = Ø, E\Ø = E,
(X Y ) (CX CY ),
в последней формуле предполагается, что CX = C
E
X, CY =
C
E
Y (на рис. 2 дополнение к X в E заштриховано с наклоном
влево, а дополнение к Y в E с наклоном вправо).
A B = B A
11
                                         B
                          A


                           Рис. 1.

являющееся подмножеством множества B, называется разно-
стью между B и A, или дополнением (к) A в B и обознача-
ется одним из указанных ниже символов:
            CA ≡ CB A ≡ B\A ≡ B − A
(см. рис. 1, где заштриховано дополнение к A в B ).


                                             E
                     X
                           Y


                           Рис. 2.

  Пусть A, B, X, Y – части множества E. Тогда
                         CCY = Y,
                   E\E = Ø, E\Ø = E,
                 (X ⊂ Y ) ⇒ (CX ⊃ CY ),
в последней формуле предполагается, что CX = CE X, CY =
CE Y (на рис. 2 дополнение к X в E заштриховано с наклоном
влево, а дополнение к Y в E – с наклоном вправо).
                      A∪B =B∪A

                              11