Πn集合
Πn述語
で元かどうかを判定できる集合
補集合は
Σn集合
定義
自然数の集合
$ \alpha
に対して、
$ A(x)\iff x\in\alpha
となる1変数述語
$ A
が
Πn述語
であるとき、
$ \alpha
を
Πn集合
という