So I contradicted myself above. Aggregation is probably not monotonic -- the output of the aggregation is not a subset if the input is a subset.
for example global AVG can be expressed as SUM()/COUNT()
although AVG is not commutative, SUM() and COUNT() are commutative and can be run in scatter/gather mode and offloaded to individual nodes