ブルームフィルタ

ある要素が集合に含まれるかどうかを空間効率よく判定するアルゴリズム

ただし、偽陽性がありえる

つまり正しくは「ある要素が集合に含まれないことを判定するアルゴリズム」であると言えそう