Parität-L ist die Menge von Sprachen, die von einer nicht-deterministischen Turing-Maschine erkannt werden und die nur zwischen einer geraden oder ungeraden Anzahl von "Akzeptanz" -Pfaden (anstelle einer Null- oder einer Nicht-Null-Anzahl von Akzeptanzpfaden) unterscheiden kann weiter auf die Arbeit im logarithmischen Raum beschränkt. Die Lösung eines linearen Gleichungssystems über over 2 ist für Parity-L ein komplettes Problem, weshalb Parity-L in P enthalten ist.
Welche anderen Komplexitätsklassenbeziehungen wären bekannt, wenn Parität-L und P gleich wären?