Parallel and high-performance computing

A parallel reduction computes a sum by combining partial sums in a different grouping from a sequential left-to-right computation. Which property makes this regrouping mathematically valid for exact arithmetic?