<<

. 10
( 52 .)



>>




!T!#⊆T !##

  ∈ T!#% (      
       
 

∀∈%/


∈T !#%
:

!T !#⊆T!##


∈T !#%   
 T!# 


 "


 


∈T!#%?  ∈T !#   


   $
 
∈ 


  
   


 "


 
 ′

:
 


∈′ ∈T!′#%
(  
   
 ∈ ′
 
 ∈ 
 ∈ T!′#  ∈T!#%     
V
'
   


∈T!#%


 
  


  

 %0
  
&   
   
  $
 
A
™¦ 
*
™¦
 

*
™¦) 
%

B% 
  
  
 
    % (  )    T!%#
 

       
  
 
  
 
     

 $V

 
™¦ !) # 
  
*
™¦  
 

     
 
 
& 

 *
™¦ )     
  
 
          


 & %

 %- 
 
 
  

7'
CF

H%
7
? 
 "

  $     
CF
H
CF

H%

+   
  
 ) $   T!%#%    
   
 
   
 $>
™¦T!F
H#CFH
T!F

H#CFH*
™¦T!F
H#CFH
T!F

H#CFH*
™¦T!F
H#CF
H
T!F

H#CF
H%

I%- 
 
 
  

7'
CF

H%? 


 "

  $     
CF
H
CF
H

CF
H%+  
  
) $   T!%#
  '
 T! # C

FH
T! #CFH
T! #CFH%    $ 
>
A#+  
 
   
 $%

B#+  

 

& 
 %

™¦A*
™¦B*
™¦A
B%

J%        
 $ '
     


 $>
™¦
1 
 
 
%

′⊆ 
 
∈
∈
′%
( 


∈T!#∈T!′# 

∈T!#
∈T!′#
T!%#1
)  %
™¦
1 
 
 
%( 


∈∈′ 
∈
′∈

′⊆ 
  
%
™¦
1 
 
 
%

′⊆ 
 ∈T!#∈
T!′#
T!%#1)  %( 
∈

<<

. 10
( 52 .)



>>