検査の健全性と完全性

各文書の集合 $K$ に「本当の違反」の集合 $V(K)$ を対応させる規則 $V$ を性質と呼ぶ。検査 $\kappa$ が性質 $V$ について

• 健全であるとは、すべての $K$ で $\kappa(K) \subseteq V(K)$（報告された違反は本当に違反である）、
• 完全であるとは、すべての $K$ で $V(K) \subseteq \kappa(K)$（違反はすべて報告される）

が成り立つことをいう。