Subtractions over IFS