Folds other into this estimator.
Associative, commutative and idempotent, and the representation of the result depends only on the union of the two inputs — see the class documentation for why that matters.