ブール関数
ある性質がまた次の条件を満たすとき、その性質は複雑性クラスCに対して「有用」であると言う。その条件とは、その性質を持つ全てのブール関数について、それが複雑性クラスCには属さないことを証明できることである。以上を纏めて「自然な証明」とは、Cに対して有用かつ自然な性質を見出すことにより、何かしらの問題がCに属さないことを示すという証明または証明方針のことである。