Ein Bloom-Filter ist eine probabilistische Datenstruktur für Mengenzugehörigkeit.
Er kann False Positives liefern, aber keine False Negatives: "nicht enthalten" ist sicher.