.
.
2.
, , , , , , , ,
, :
;
;
.
2.1.
, , , , :
= È ,
È .
- :
x ÎC = A È B x ÎA Ú x ÎB,
: , . , , A È B , (.2.1). -.
: , A :
xÏC = A È B xÏA & xÏB.
. 2.1.
, = { , } = { 1, 2, , , }. = È = { 1, 2,, , , }.
:
A È A = A - ;
A È B = B È A - ;
(A È B) È C = A È (B È C) - ;
A È Æ = A;
(A Í A È B) & (B Í A È B).
.
, , .
n 1, 2,..., n , : , , A i:
1 È 2 È 3 È n = .
. , = {1, 2, 3}, B = {1, 2, 9, 10}, C = È = {1, 2, 3, 9, 10} |C| = 5.
2.2.
, , :
= Ç ,
Ç .
.2.2. -, . A Ç B .
|
|
. 2.2.
- :
x ÎC = A Ç B x ÎA & x ÎB,
: , .
, :
x ÏC = A Ç B x ÏA Ú x ÏB.
A = { 1, 2, 3 } B = { 3, 4, 5, 6 }. C = A Ç B = { 3 }.
:
A Ç A = - ;
A Ç B = B Ç A - ;
(A Ç B) Ç C = A Ç (B Ç C) - c;
A Ç Æ = Æ;
A Ç B = Í B;
A Ç B Í & A Ç B Í B.
, , - . 2.3.
. 2.3.
, . n 1, 2,..., n , , , :
.
- . 2.4, 2.5.
. 2.4. . 2.5.
⠠
, = {1, 2, 3}, B = {1, 2, 9, 10} C = {1, 2} |C| = 2.
2.3.
.
, , :
= \ ,
\ .
- :
x ÎC = A \ B x ÎA & x ÏB,
: , .
, :
x ÏC = A \ B x ÏA Ú x ÎB.
, A = {1, 2} B = {3, 8, 9}. A B A \ B = {1, 2}, B A B \ A = {3, 8, 9}.
. 2.6 -, A\B, B \ A.
. 2.6.
, :
\ = Æ; \ U = Æ; \ Æ = ; Æ \ = Æ.
:
(A \ B) \ C = A \ (B \ C) = (A \ C) \ B - c;
A \ B Í A, B \ A Í A.
, U, :
|
|
= Å ,
Å .
- :
x ÎC = A Å B (x ÎA & x ÏB) Ú (x Î & x Ï).
, A = { 1, 2, 3, 8 } B = { 3, 4, 8, 9 }. A B A Å B = { 1, 2, 4, 9 }.
2.4.
U, , U . -
x Î = U \ A x Î U & x Ï A,
x Ï = U \ A x Ï U Ú x Î A.
. 2.7 -, . , , .
. 2.7. U
:
= A,
A È = U,
A Ç = Æ,
= Æ,
= U.
2.5.
, , .
, , .
:
, - Â(U).
- ;
- ;
- ;
- ;
- ;
- ;
;
A \ B = A \ (A Ç B);
A \ B = A Ç ;
A \ (A \ B) = A Ç B;
A Ç (B \ C) = (A Ç B) \ (A Ç C).
-, :
|A È B| = |A| + |B| - |A Ç B|.
, A = { 1, 2, 3, 8 } B = { 3, 4, 5, 8, 9 }. |A| = 4, |B| = 5, |A Ç B| = 2, |A È B| = 4 + 5 2 = 7.
2.6.
. , A Ç (B \ C) . . 5. , . , A Ç (B \ C) (A Ç B) \ (A Ç C) , (5 7).
. .
. :
1) E (A, B, C...) = F (A, B, C...).
E F A, B, C .. , .
2) E (A, B, C...) = Æ.
, Æ.
. ( ), :
E = F E Í F & F Í E.
E Í F , F Í E - .
, (A È B) Ç C = (A Ç C) È (B Ç C). , F. ,
|
|
E Í F & F Í E.
1. : E Í F.
, - , E, , F.
a Î E a Î[(A È B) Ç C] a Î (A È B) & a Î C (a Î A Ú a Î B) & a Î C a Î (A Ç B) & a Î (B Ç C) a Î [(A Ç C) È (B Ç C)] a Î F.
, , F.
2. , .. , a Î F, a Î E.
a Î F a Î [(A Ç C) È (B Ç C)] a Î (A Ç C) Ú a Î (B Ç C) a Î A & a Î C Ú a Î B & a Î C a Î (A È B) & a Î C a Î [(A È B) Ç C] a Î E.
, , F E.
, E = F .
, , . ,
A \ [(A Ç B) È (A \ B)] = Æ.
, Æ, .. - , . .
, . , :
E ¹ Æ a Î E a Î A & a Ï [(A Ç B) È (A \ B)] a Î A & (a Ï (A Ç B) & a Ï (A \ B)) a Î A & (a Ï A & a Ï B) & (a Ï A Ú a Î B).
, , . , , .. Æ.
, -. - . , , , . , .
2.1. A = {1, 3, 5, 7, 9} B = {3, 5, 6, 10, 11}. Â(N), N - . A È B, A Ç B, \ , .
: A È B = {1, 3, 5, 7, 9, 10, 11, 6}; A Ç B = {3, 5}; A \ B = {1, 7, 9}; = {2, 4, 6, 8, 10, 11, 12,...}.( N ).
2.2. A = { x ÎN | - oe }, = { x | ($ y)(y ÎN & x = 2 y +1}, C = { x | ($ y)(y ÎN & x = 4 y }.
A È B, A Ç B, \ , A È C, A \ C.
: , , N. , - , , A Ç B = Æ, A È B = N, A \ B = A. - , , , , A È C = A,A \ C = { x Î N | ($ y)(y Î N & x = 4 y + 2)}.
|
|
: A È B = N, A Ç B = Æ, A \ B = A, A È C = A, A \ C = { x Î N | ($ y)(y Î N & x = 4 y + 2)}.
2.3. , , .
: , , - A Ç B È C, A Ç (B È C) (A Ç B) È C. , .
, A = Æ, C ¹ Æ.
(A Ç B) È C = (Æ Ç B) È C = Æ È C = C, , A Ç (B È C) = Æ Ç (B È C) = Æ.
: , , (A Ç B) È C¹A Ç (B È C).
2.4. , A Í B Í .
: - Í , :
(" x Î E)(x Î A x Î B); (" x Î E)(x Ï B x Ï A); (" x Î E)(x Î x Î ), Í .