mula_16是一个足够短的（长度不大于formula_20）见证formula_15在formula_18内的字符串。换句话说，formula_23当且仅当存在足够短的见证字符串formula_16使得formula_25。类似地，定义注意到由德摩根定律得出formula_27 and formula_28，其中formula_29是formula_10的补集。令formula_31为一个语言集。延伸这些运算使得它们能够应用于语言集上：其中formula_34为所有多项式的集合。同样德摩根定律成立