:: deftheorem defTorsionModule defines torsion ZMODUL06:def 2 :
for V being Z_Module holds
( V is torsion iff for v being Vector of V holds v is torsion );