.

.1
a E

a E a E

a E a E

.2 .

a a

.3 .


E F :

) ( x )( x E x F E F

E F E F :

( x E = F )( x E ) x F

.1 E E

. ) ( x )( x E x E
.2 E E

. ) ( x )( x x E
:
 ) E = F (E F F E

.3

: 1 2 2 1 2
2 1 3 1 = 2

E F F G .4 E G

E F

E F

{
E I F = x / x E x F }

E F

{
E U F = x / x E x F }

E F

{
E F = x / x E x F }


E F

( ( )
E F = E U F E I F )

A ,B ,C

A I = , A U = A , A I A = A , A U A = A .1

.2

. A IB = B IA ,A UB = B UA

.3

. ) ( A IB ) IC = A I ( B IC ) , ( A UB ) UC = A U ( B UC
.4

) (i ) A I ( B UC ) = ( A IB ) U ( A IC
) (ii ) A U ( B IC ) = ( A UB ) I ( A UC

- -:
 E A

: 1 A E . A E

: 2 E E

) P (E
A P E A E .
) ( } P ( E ) = {A / A E
: P E , E P E
) ( ) (
. 2n E n ) P ( E :

A . E

: 3 A E

C E A = {x / x E x A } = E A

C E = E ,C E E = .1

C E (C E A ) = A .2

( ) ( )
C E A I B = C E B UC E A ,C E A U B = C E B IC E A .3

 E F

: E F

} E F = {( a, b ) / a E , b F

) ( a ,b

( a , b ) = ( a , b ) a = a b =b

E = .1

E F F E .2 E F

.3 E m F n E F m .n

E } ) {Ai ,i I I ( . E

E = U Ai .1
i I

.2 :

Ai I A j = , i j

{ }
.1 . E = 1, 2,3
 }} {{1 } , {2 } , {3 E

{
} {1 } , {2,3 E }

= .E .2

} {A n = n , n + 1 , n E

E } {B i ,i I

E :

E U Bi
i I

{ }
.1 E = 1, 2,3

{
} {1 } , {2, 1 } , {3 ,4,5 E }
}} {{1,2 } , {4, 1 } , {3 ,4,7 E

=E .2

E {B n = n , n , n }