Opposite of a Bloom Filter

Bloom filter gives a -efficient way to test for set memberships, but with false positives and no false negatives, i.e. it will tell you while actually it is not, but not vice versa. [more]