generalizes the concept of uniqueness to support any indexable commutative operator, not just equality