 It is called torsion if "F"("U") is a torsion group for all étale covers "U" of "X".Finite locally constant sheaves are constructible, and constructible sheaves are torsion.Every torsion sheaf is a filtered inductive limit of constructible sheaves.