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