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