I am working through the these notes (pdf) for my enumeration class, and I am having some trouble understanding some of the definitions and theorems.
Could someone try and provide me with an intuitive sense as well as the difference between what is explained in EX11.14, Definition 11.15, Theorem 11.16 and then finally Definition 11.20?
The problem is that all these are all built on-top of one another (are nested within one another, if you will) and I find it difficult and confusing to keep track of what is going on and being said.
I am able to understand the product and power of classes, but then looking at the composition and the k-sets of structures seems really confusing to me.
Clarification would greatly be appreciated :)