Definition: $M$ is a CS module and if $A$, $B$ are summands of $M$ such that $A\cap B=\{0\}$, then $A\oplus B$ is a summand of $M$ also.
(No citations retrieved.)
(No metaproperty information retrieved.)