Objectives for Section 3

After studying this section you should be able to do the following.

• Recognise and use the terminology: disjoint union; power set (of a set); representation (of a data abstraction).
  


• Use and interpret the notation:
  
  • X Y for the disjoint union of the sets X and Y ;
    
  
  
  • SeqOfSetOfInt for the set consisting of all sequences whose members are sets of integers (and similar notations).