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).