理导出，这定理指出对任何"f"("n") ≥ log("n")，Immerman–Szelepcsényi定理则指出对任何，NSPACE("s"("n"))在补集运算下封闭(closed under complement)。NSPACE可以与DTIME作连接如下：对任何space constructible function "s"("n"),