On the definition of a fuzzy subgroup