Assertion: complement | /r/HasProperty | any class
Facets:
Source sentences:
text: Because there are Turing reductions from every problem to its complement, any class which is closed under Turing reductions is closed under complement.
text: ∨ z ∊ y}; the complement of x, symbolized as -x, is the class the members of which are all those objects that are not members of x—i.e.