Lecture 14

We looked at sets that contain other sets.

• Basic notation
• Power sets, including as the domain or co-domain of a function
• Counting subsets, with and without repetition
• Partitions: main idea, formal notation, does a formal specification yield a partition (or just some random collection of subsets)?