空虚な真
多くのプログラミング環境には、アイテムの集まり中の各アイテムがある述語を満足するかどうかを判断するメカニズムが備わっている。そのようなクエリが空の集まりを常に真であると評価するのは、よくあることである。例えば:
JavaScriptでは、配列メソッド every は与えられたコールバック関数を配列内の各要素に対して1回ずつ実行し、コールバック関数が false を返す要素が見つかったとき、そのときに限り停止する。特筆すべきは、空配列に対して every メソッドを呼ぶとどんな条件でも true が返ることである。
Pythonでは、all 関数は与えられた iterable のすべての要素が True であるときに True を返す。この関数は長さゼロの iterable についても True を返す。
Rustでは、Iterator::all 関数はイテレータと述語を受け取り、イテレータによって生成されるアイテムすべてについて述語が true を返すとき、あるいはイテレータがアイテムを生成しないときに限って true を返す。