We introduce the concept of the complement fuzzy set 
in semigroups and we give some properties which let to the conclusion 
that a fuzzy subset $f$  of a semigroup $S$ is an ideal of  $S$  if and 
only if the complement $f'$ of $f$ is a filter of  $S$.