 

 
  

 

   

   

  
 
  
    

 


               
  :              
    
              
     


:    :              

        

 :                
 
  
    

   

            

                  
      
      
                
          
              
   
   
       
 :          
 
  
    

 


  :          :    
        

 :        
/         

               

   
     
 
  
    

 


    :       
  :     

  :         



                 

   :            

        
 
  
    




          :    :    :     
     


 
                    

       
 
  
    




          :    :    :     
     


 
                    

       
 
                      
                     
 
 
 
  
    




          :    :    :     
     


 
                    

       
 
                      
                     
 
 
 
                    
  
       
 
  
    

   


              
 

          

   N   
                
              
          
          
 
  
    




              
      
   :          
   

 
        
       
  
 
  
    

   


        

                
        
                  
              
 
               
  
   
    

         

 
  
    

  


               

         
        
        
      
             
       

         


           
    
 
  
    




     

   :                 

        

         


        
         

         
 
  
    

 

             

         
              
        
              

                
      
       
          

      
 
  
    

 

  :      :           

                  
         
                    
 :                
 :                  
            
              
  :  
 
   :         
          
  :     
 
  
    

      


                  
        
         
        

                
       
               
          
 
  
     

 


                :         
           

        

     
            
                 
 
  
     

 

        

            
     
          
               
                   
                
 
  
     

 

                 

 :            
  
          
           
     
   

                  
             
 
  
     

  

    

      
       

     

:        

        

          
        
 
  
     

 

               

     . . .            
   
              
     

  :         

  

                          
 
  
     

 

      

          
           
        
              

            

         

           
 
 
  
     

 

         


               
              
    
           

 
  
     

 

        

 
         
  
           
     
 
  
  

 

     

        
          
      
   
   
 
  
  

  

               

        
          
          

Susan Mary Sally
Joe ⎡ 1 1 0 ⎤
⎢
Fred ⎢ 0 1 0 ⎥⎥
Mark ⎣⎢ 0 0 1 ⎥⎦
 
  
  




    
       
      

   

    
    
    
    
 
  
  

  

     

   
        
    
⎡1 ⎤
any- ⎡0 any- ⎤ ⎡ 1 ⎤ ⎡ 0 ⎤
⎢ 1 ⎥ ⎢ 0⎥⎥ ⎢1 0 1⎥⎥
thing thing ⎥ ⎢1
0

an
an
⎢ ⎥ ⎢ ⎥ ⎢ ⎢

yt
yt

hin
h
in

g
⎢ any- 1 ⎥ ⎢ 0 ⎥ ⎢ ⎥ ⎢ 0 ⎥

g
any-
⎢ thing ⎥ ⎢ thing ⎥ ⎢ ⎥ ⎢ ⎥
⎣ 1⎦ ⎣ 0⎦ ⎣ 0 ⎦ ⎣ 0 ⎦
Reflexive: Irreflexive: Symmetric: Antisymmetric:
all 1’s on diagonal all 0’s on diagonal all identical all 1’s are across
across diagonal from 0’s

           

            :    
 
  
  

    

                     
      
            
    
     
           
 
  
  

  

               
           
         
        :     
              

Edge set EG
MR Susan Mary Sally GR (blue arrows)
Joe ⎡ 1 1 0 ⎤ Joe Susan
Fred ⎢⎢ 0 1 0 ⎥⎥ Fred Mary
Mark ⎢⎣ 0 0 1 ⎥⎦ Mark Sally
Node set VG
(black dots)
 
  
  

  

      

  
 

!
! !
! !
! ! ! ! ! !
Reflexive: Irreflexive: Symmetric: Antisymmetric:
Every node No node Every link is No link is
has a self-loop links to itself bidirectional bidirectional
Asymmetric, non-antisymmetric Non-reflexive, non-irreflexive
 
  
   

  

              

          

           
                
            
              
         
                 
    
  
  
 
  
   

   


               
                      
                 
       


                
      

           

   
              
       
 
  
   

   


                
                
        

     

        
 :  :  
  :    
 :      :   

 
   Θ  
 
  
   

    

     

 :  :  
  :     

 :         
 :       

 
    Θ    

 
  
   

 

     

 :  
  :   
  :   
  :   
 :      
      
  Θ  
              
  
 
  
   




        
   

!
 
  
  

 


           
        

      

    :         
   :               

        :   
   
 
  
  

  



       

 
  
  

  



       

        
 
  
  

  



       

        
          
     
 
  
  

  



       

        
          
     
           
   
 
  
  

 


           
   

 :        

             

    
          
  
 
  
  

  

       

            
        

          

     

           

   
 
  
  

  

       

            
        
     
          
     

           

   
 
  
  

  

       

            
        
     
          
     
                        
           
   
 
  
  

  

       

            
        
     
          
     
                        
           
   
                        
 
  
  




             
    . . .      


   Z        Z          
                    Z  

            

         
        
 
  
  

 


              
          
            
      

           

   
           
 
           
   
 
  
  

 


              
             
              

 N 
 
  
  

 

            

                         
              
          
 
    
 
  
  

 

         

     
          
           
 
    
      
 
  
  

   

!
!
!
!
!
! !
 
  
  

    

 
  
  

   


            
              


               
        


         
 
  
  

    


         
             
           
           
            
           


                
          
 Z       R   
   
 
  
  



            
           

i h
g f

e d

c b
a


           
        
 
  
  

 

          

         
        
         
           
  
 
  
  

    

   

 : 
   

 :     
 :      
 :   
                