Komplexitätsklasse aller Entscheidungsprobleme (Entscheidungsproblem) oder Sprachen, deren Komplemente in NP enthalten sind.

Eine Sprache L ist genau dann in co-NP enthalten, wenn es eine Sprache \({L}^{\prime}\) in der Komplexitätsklasse P gibt, so daß x genau dann in L enthalten ist, wenn für alle y mit einer bzgl. x festen polynomiellen Länge (x, y) in \({L}^{\prime}\) enthalten ist. Sprachen in co-NP lassen sich also durch einen universellen Quantor und ein polynomielles Prädikat ausdrücken.