Assertion: complement | /r/AtLocation | the class
Facets:
Source sentences:
text: A class is said to be closed under complement if the complement of any problem in the class is still in the class.