# PSPACE languages reducible to other PSPACE languages in polynomial space

Intuitively it makes sense that all PSPACE languages are reducible to other PSPACE languages in polynomial space. But how would I go about actually showing this?

Note that the claims (yours in the question and mine above) aren't quite true for many-one reductions, since you can't reduce any other language to $\Sigma^*$ or $\emptyset$ using many-one reductions.