Co-NP

In complexity theory, Co-NP is the complement of the class NP. For every decision problem in NP, Co-NP contains the same decision problem with the YES and NO answers swapped. Equivalently, for every language in NP, Co-NP contains the complement of that language.

P is a subset of both NP and Co-NP. That subset is thought to be strict in both cases. NP and Co-NP are also thought to be unequal. If so, then no NP-Complete problem can be in Co-NP.