You'll see, that's useful for recursive definitions. so a combinatorial construction uses the union product and sequence operations that I'll talk about in a minute to define a class in terms of atoms in other classes. 