Java 流减少功能。累加器的结合性

以下是 Oracle Java 13 文档：

U reduce (U identity,
BiFunction accumulator,
BinaryOperator combiner)

参数：
identity - 组合器函数的标识值
accumulator - 一个关联的、无干扰的、无状态的函数，用于将附加元素合并到结果
组合器中 - 一个关联的、非用于组合两个值的干扰无状态函数，必须与累加器函数兼容

https://docs.oracle.com/en/java/javase/13/docs/api/java.base/java/util/stream/Stream.html#reduce(U,java.util.function.BiFunction,java. util.function.BinaryOperator)
首先，我知道运算符的结合性意味着 (a op b) op c == a op (b op c)。维基百科说关联属性是一些二元运算的属性。二元运算表示 f：S × S → S。

这是我的问题：如果累加器函数的域不是 S x S 而是 S x T，那么累加器怎么会是关联的？
例如，

    int length = asList("str1", "str2").stream()  
        .reduce(0, (accumulatedInt, str ) -> accumulatedInt + str.length(), 
                    (accumulatedInt, accumulatedInt2) -> accumulatedInt + accumulatedInt2);

在这种情况下，累加器是(accumulatedInt, str ) -> accumulatedInt + str.length()关联的，它不是关联的。它需要两种不同类型的参数。怎么会是 (a op b) op c == a op (b op c)。java文档中“累加器必须是关联的”是什么意思？