  We will show that if $\sM$ is a factor, then for any pair $\f, \p\in\sMdsup$
of normal positive linear functionals on $\sM$, the inequality: $$
\lrnorm{\f}\leq \lrnorm{\p} $$ is equivalent to the fact that there exist a
countable family $\lrbrace{\ffdi: i\in I}\subset \sMdsup$ in $\sMdsup$ and a
family $\lrbrace{\udi: i\in I}\i\sM$ of partial isometries in \cM such that $$
\f=\sumd{i\in I} \ffdi,\quad \sumd{i\in I} \udi{\ffdi}\udius\leq \p, \quad
\text{and} \quad \udius\udi=s\lr{\ffdi}, i\in I, $$ where $s(\omega),
\omega\in\sMdsup$, means the support projection of $\omega$. Furthermore, if
$\lrnorm{\f}=\lrnorm{\p}$, then the equality replaces the inequality in the
second statement. In the case that $\sM$ is not of type \threeonec the family
of partial isometries can be replaced by a family of unitaries in \cMp One
cannot expect to have this result in the usual integration thoery. To have a
similar result, one needs to bring in some kind of non-commutativity. Let
$\lrbrace{X, \mu}$ be a $\sig$-finite semifinite measure space and $G$ be an
ergodic group of automorphisms of $\linflr{X, \mu}$, then for a pair $f$ and
$g$ of $\mu$-integrable positive functions on $X$, the inequality: $$ \int_X
f(x)\txd \mu(x)\leq \int_X g(x)\txd \mu(x) $$ is equivalent to the existence of
a countable families $\lrbrace{\fdi: i\in I}\subset L^1(X, \mu)$ of positive
integrable functions and $\lrbrace{\gdi: i\in I}$ in $G$ such that $$
f=\sumd{i\in I} \fdi\quad\text{and}\quad \sumd{i\in I} \gdi\lr{\fdi}\leq g, $$
where the summation and inequality are all taken in the oredered Banach space
$L^1(X, \mu)$ and the action of $G$ on $\lonelr{X, \mu}$ is defined through the
duality between $\linflr{X, \mu}$ and $\lonelr{X, \mu}$, i.e.,
  \lr{\g(f)}(x)&=f\lr{\g\inv x}\frac{\txd\mu\scirc \g\inv}{\txd\mu}(x), \quad
f\in\lonelr{X, \mu}.
