"NSPACE"("S"("n")) ⊆ "NSPACE"("S"("n")),