On the definition of fuzzy subgroup

---------------------------------------------------------------------***--------------------------------------------------------------------Abstract A fuzzy subset μ of a group G is called a fuzzy subgroup of G if (i) the fuzzy value μ(xy) of the product of any two elements x,y of G is not less than the minimum of the fuzzy values μ(x), μ(y), and (ii) the fuzzy value μ(x-1) of the inverse of an element x is equal to the fuzzy value μ(x) of the element. We prove that second condition can be derived from the first if and only if the group is torsion