Suppose a Dedekind σ-complete partially ordered linear algebra (dsc-pola) satisfies a certain multiplication decomposition property (see definition below), then we show that this partially ordered ...