Have you read this paper? http://www.neilconway.org/docs/socc2012_bloom_lattices.pdf http://www.neilconway.org/docs/socc2012_bloom_lattices.pdf There are addit

Have you read this paper? http://www.neilconway.org/docs/socc2012_bloom_lattices.pdf http://www.neilconway.org/docs/socc2012_bloom_lattices.pdf There are additional efficiencies if the operators are commutative and associative in addition to being idempotent.