Wiktionary antidifference n. A function ''F(x)'' is the antidifference of ''f(x)'' if ''F(x+1)-F(x)=f(x)''.