Negations over IFS