"NSPACE"("S"("f"("n"))) ⊆ "NSPACE"("S"("f"("n"))).