Como NL también está contenida estrictamente en PSPACE, se concluye que en la relación