Refinements for infinite direct decompositions of algebraic systems.