补集的一个复杂度类。像是，若一个语言属于NP，则此语言的补集则属于Co-NP。（注意这里不代表NP的补集就等同于Co-NP - 有一些语言同时是NP也是Co-NP，也有语言两者皆非。）一个复杂度类里面"最难的问题"代表这个复杂度类里面所有的问题都可以归约为这个问题。此外，归约过程本身是这个复杂度或者比他更简单的问题类别里面。如果找不到想要看的复杂度类（例如说找不到Co-UP），那可以寻找看看这一个类别的同伴（以刚刚的例子来说：UP）来参考。