对于以这种方式定义的复杂性类别，希望证明放宽对（例如）计算时间的要求确实会定义更多的问题。特别是，尽管DTIME（n）包含在DTIME（n2）中，但是知道包含是否严格是很有趣的。对于时间和空间要求，这些问题的答案分别由时间和空间层次定理给出。它们之所以称为层次定理，是因为它们在通过约束相应资源而定义的类上引发了适当的层次。因此，存在成对的复杂度类别，使得其中一个适当地包含在另一个中。推论出这样适当的集合包含之后，我们就可以进行定量的陈述，说明需要多少额外的时间或空间才能增加可以解决的问题的数量。
在复杂度等级内进行度量的示例是什么，如果放宽界限，将会产生更大的问题集？