[1] Note that result is permitted to be the same iterator as first. This is useful for computing partial sums "in place". [2] The binary operation is not required to be either associative or commutative: the order of all operations is specified.Notes