(Co-NP) The set (or property) of problems with a yes/no answer where the complementary no/yes problem is in the set np.