5.6 Counting
Suppose that for all type indices
A weak
Every support has a weak specification that specifies it.
If
Suppose that for all type indices
Suppose that for all type indices
Let
There are less than
There are less than
Suppose that for all type indices
There are less than
For each type index
For each type index