Class DiscreteFunctionAddition<X,​Y>