Boolean function
ラズボロフとルディッチの定義に依れば、ブール関数が持つ何らかの性質が「構成的」と「広い」という二つの条件を満たすとき、その性質は「自然」であると言う。「構成的」とは、おおまかに言えば"n"-変数ブール関数の大きさ2nの真理値表を入力とした時に、その性質が成り立つかどうかが"n" が増大するにつれて漸近的に（準）多項式時間で判定できることを指す。これは時間が"n" の指数関数になることと同じである。人間に理解できるような性質は概ねこの条件を満たすと考えてよいだろう。「広い」とは、全ての"n"-変数ブール関数の全体22n個の中で、その性質を満たす関数の割合が2-"O"("n")以上であることを指す。