You are on page 1of 31





 
   
 
        
     
   
     
               
      


   
       
     
  
 
 
  
  

 
 

 
  
 
  
 
 
­
  €
‚

 
­

 
 
ƒ 
 

 „…†


‰Š„…†


ŒŽ
Œ†Š 

 „…
­‘

Š
 

 

    

   
    
 
    



  
      
    



   

 
  
    
  ­ €
   
  

 
 ‚
 ƒ 
„  
 
   
 „ 
 
ƒ  
… ƒ
€€
 
  
   €

 
   

 … …† …    
  
  ‡
ˆ

  ƒ ‰  ‡
   
   


 ‰  

„
…† … ƒ ‰
  
   
‡ ‡
‡
   
   

 
ƒ    


  

 

„

‰  
  
 ‰ 

 
 

     



   
  
ƒ  
 ‰Š
 

Š 
  ­
   
 
Š       

 

 
   
 
 


  
    

   

 

   

  

 

   


      
  ­
€‚ ƒ„ƒ„ƒ„


  
 
…  †  … 
      ‚   
‚   ‡  ‚ˆ‚ 
 ‰ Š 


⎧  ƒ    „ ∈ 
  ⎨
⎩‹  ƒ    „ ∉ 
 ƒ„ƒ„ƒ„ƒ„ƒŒ„ƒŒ„ƒŒ„
Œ„ ‚
 Ž Œ  Œ‚
  
  

   ‹ 
  
 ‹  ‹ 
 ‹ ‹ 

Π  

 

   
 


    
   

  
  

 
  

 

 

     
   

 
 




   

        

    


 


 ­­
 

€

    
 

 ‚          
  €­­
 
­    €






 

 

  

 





      


   

    


 
  
  
 

  
   

 


 
 

   
  
  
 
­ €
 
  €

‚‚

€€
  €
 

  

 

ƒ
 

 „  




     



  
 
 
  
       
 
­ €
  €
 …

 

  


isgivenby
= i.e.,thejoinofand .
(ii) Thematrixofisgivenby
  = i.e.,themeetofand .
(iii) Thematrixofisgivenby
=.i.e.,themultiplicationofand 
(iv) Thematrixof–1
 iee ns se
 i 
                        
      



  ­

   €  € €   
  
€ € €      
€ €  € 

€  € € 
 € € €
€ € € €
  € € €


  

   €  
€ €        
    
 
€
€
€ € 
 € €

 
€ €  €
 € € €

€ €  
  € €
  
€ € € €
  € € €
  € € €

            

  

   €  € €    € €  € 


     
 
€
€
€ €
 €
€  €
 € 
€ €
€  €€
€ € €
€ €
€
€

€ € €
 
€  € €
 
€ € € € €

    
 




 

 

      
 




  





   






 

 

 

 





              



 




     











   













 




  
   
   
 
­  

€      
       
‚ ­   
  
    

ƒ   
   
  
  „……
  …
  …
†   
   
 

 
  
  
  
  
   

  
 


 

 

  

  

 

 

  
 






 
 






 




  
 


 


  
 



 


 
 
 






 

     
       
   


    





 



 
 


   



 





 





 ­
  
 







 
  €



 




 


­

  

 


 
  

  



 


 
  
 


 
 

xample       





  
xample  




 







 




 
xample  


  
­


 

 

xample 7   €€ 
  
   
   



  



 

xample 8  
   
­  


 
 
 
 

xample 9 ‚


ƒ
‚


 
„„„„„„

2.13 EQUIVALENCE RELATION





… 
† 


 
xample  ‚


ƒ
‚

… 

† 

 

2.14 PARTIAL ORDER RELATION


    
  

    ‚     
 †  ‡


 
xample  


 

­
‚

† 

 

 
… 

… 
 … 

† 


 ‚ ˆ


† 
 ˆ
 ˆˆ
 



 
 
 


 
 
 
 


  
    
      
  
 
 


 
  
 
 
 

 
    

 
 
 
  
  


        
 
 

 

   
  
 
  

   
  
 
 
 
   


  
 
 
   
   
  
  

 
 
 
   
  
 
  
 

 
  
  

 
 
 
  
 
 
   
 ­  
 
   
 

 ­  
 

 
 

 
 
  
   
 
    
 
                      
  
      
 
   
                   
 
 
  

     

 
  
  
 

     
     
­   
  
   
­      

  €­   
­ 
­   
    
  
 ‚ ‚
   
 

   


     

     


    

  

 
 


    ­

€‚ ƒ „ …†
€‚    ƒ ƒ  „ „  … …  ƒ „  ƒ …  „ ƒ  … ƒ† ‚ 
  ƒ ƒ  „ „  … …  „ …  … „   ƒ  ƒ †

  

‚     ƒ  ƒ   ƒ ƒ  ƒ „  ƒ …  „ ƒ  „ „  „ …  … ƒ  … „  … …†
   ƒ  ƒ „   „
 

‡  

 € 
€
 
 ‚    †


 ˆ   


€
 

  

 

 € 


€  

  

  




€  
€     
  
 
  



‡ 

 

 
  

  
  
   

  

  

   

   

 
 ­­

   

 €  

   

 
 
‚ 
 ­
 ƒ€„
…    ­­ 
  ­
ƒ€ƒ€
   
 
 ƒ€„
 ƒ€„
 
 ­­

    † 


 ƒ  
 †
 ƒ   † ††ƒ€††‡ 
† 
‚   ­­ 
 

 
   

 
 

 
 

 

 

 
 

 

 
 
 

 


  
 
  
 

 
  
 

  
  

 
 
 

  

 

 

   

 
  
 
 

 
  
   
 
 
 

  ­
  
 
 €
‚
‚
 


 
 
 


    
     
  


    
    
     
    
  
  

   
 

   
 
   
  
 
   
 

­

  €    ‚   ‚  ƒ  „    
‚

      
 ‚…
   
   † ­ ‡   
 ˆ 
†       
  

 
  
   
 ‰   
   
  
  

   
 

  


             
       
  

     

  
 
    

 

 


   
   
 
xample    ­ €­€ ­€€­‚‚­‚ƒ­ƒ‚­ƒƒ­„„­
  €‚ƒ„ …
 
 † 
 
oluion     
    €
€ € €
‚ ‚‚ƒ
ƒ ƒ‚ƒ
„ „
N 
 
 €‚ƒ„
 €‚ƒ„
   
 

  ‡ˆ 
  €‚ƒ„  

 

2.16 PROPERTIES OF EQUIVALENCE CLASSES


    
  
 
­ []
(ii) If[],then[]=[]
(iii) []=[]ifandonlyif(,)
(iv) Either[]=[]or[][]=i.e.,twoequivalenceclassesareeitherdisjointor
identical.
‰ ˆ­  
Š  
   
 


  
  
    
  
     

  
 
  
     
 
 



 
 
   

 
 
  
     


 
 
 
  
     
 
 
  
  
   
 
  
  
      
   
 

   



    
     
   
 
 
 
 
     ­
 

€
  
  
    
   
  
   
 ‚ƒ„…†‡ ‚‚‚†ƒƒƒ„ƒ‡„ƒ„„
„‡……†‚††‡ƒ‡„‡‡ ˆ     
‰
 Š
 ‚ƒ„…†‡
  ‚­ ‚‚†
 ƒ­ ƒƒ„‡
 „­ „ƒ„‡
 …­ ……
 †­ †‚†
 ‡­ ‡ƒ„‡
  
    ‚­ ƒ­ „­ …­ †­ ‡­
‚†ƒ„‡…

  


 
  
‹  
‹
 

   
 


 
  

 
 
  
 
  
 
   

2 3

4
6 5







 

   
   
 
 


  
 
 




   
    
 
 
   
 
 
 
 
   
 

     
 

     
     

      
     ­€‚
  ƒ 
   „ 
 
 

1 2

3 4



 



1
2

4
3

  


    
   


4
3

  

     


 
 

1 4

2 5
7

3 6



   


 

 
 
   

         


      
   
 
  
  

   
      
    
        
  
    
       
 
    
       ­ 
  
  
    
  
 
   
     

 

    

 
  

   
   

 
 




                        


 


                          

               
  

    

   

   
   
  

 
 

   
 
  
   
   
   

   
       
       
 
  
    
 
     
   
       
               
              
 

 
        
 
  

     
  
               

   
 
   
   

   
 


 




 
 

 



  
   








  



 



 
 


    
      
 
 


    







  
        ­­ ­ €   ­€

 ‚ 
      ­­€

 
       ­­ ­ ­­€
  ‚ ƒ€

 „  €

  €
 

 
 
 

  
 



   
 
 

 
 
 
 
 

    

 

    
   
  
   


 

 

   

  


 
 
­€€­€€‚­ƒ‚ 
­€‚ƒ

 
 



… ­ … … 
„ 
 
­
­
­ … …
… … …

… … ­ …

 

              


  


 
 
  
  
 
  
   
  

  
 
   
 
     

 

              


  
                
        
  

    
   
  

 

              


  
                
        
  

    
   
  

 
  

    
 
     
   
   

 
   
 

    


 
 
     
    

    
 
    
  
 
 

  
  
    
            ­
€

 ­
  
   ‚
ƒ 
   
„

…      
  
 
  


   
   
 

  


 
      


   
 
 
   

    


    
  
        

  
 
   


    


   
   
  
   
  
  
 


 


 

­ ­ ­ 
  
­ ­ 
­ ­ ­ 
­ ­ ­ ­

€   


­ ­ ­ 
  

­
­
­ ­

­ ­ ­ ­

‚ƒ




 ­ 
  

­
­ 
­ ­
­ ­ ­ ­

‚„
„


 

    

 
  

   
   





       
      

          
    

 

          

     
   

 
 

    
 ­     
  
 
 
   
      
 €€ €€

    
 ­  ‚
ƒ   „
 


    
  
      
      

 
 … †‡†††
†‡‡†††‡‡†‡‡ 
     


 ˆ ­  


‰Š
‰
 ­

†‡  ­  

 Š

 ­

†‡‹         


 
­   ­  

   ­
 
 Π

           
 







  








    

    
 
    

         

     
 








  
    

     
 

      

     
   
  



  
    

    


 

 

   

 



     
    
   

 
    

    


 

  ­­     

€‚ 
€‚ 
€‚ 
€‚ 
€‚ 
ƒ
„ 


 

 

 ahea
 asherelarmhehe
marx
 Woffo o   o
  f  
  
o

4
 ={( ) ( ) ( ) ( ) ( )}
() =heemyrela
 =
v = olesshareual
v = o(
)
 bearelaseeebyheeuae
re
 ashesererears
 F
() oo
oof
 Lealebeheerseeeherela
asllsaaresubsesheraagrahrhs
relaeermesrelexvyrasvyaasymmery
  hchhellgrelasareeuvalecerelasheseegers
 ­
 
 €
‚ Lebearelase
The
 relexvesymmercarasveclsure
 aƒ
 Lebearelaeebyaly||seveShhasa
euvalecerelase
 „arhese45by45Lshesymmerc
relaeermebyhsrela
 45 asvsblebyshhasa
euvalecerelalsheeuvalececlasseacheleme
 …serase5Lebearelaeebya
bearelaeebyThe
 
 
 s
 

 
    
 

 


  
  
  
 
1
3

2 4





            
  
    

           
    
  

 
    
   

   

    
 
    

         

    


     
   

 
  

         
 

You might also like