A ring R is characterized by the pretorsions of the category R-Mod of left R-modules: R is completely reducible if and only if z(R)=0 and every pretorsion r>z is cohereditary, where z is a pretorsion of R-Mod, defined by ...