added definition for a torsion theory