Todos los problemas resolubles en tiempo polinómico con máquinas no deterministas (todos los problemas que están en NP) pueden resolverse en espacio polinómico, por lo tanto, PSPACE incluye NP y Co-NP.