"requires" is a strong word. the only explicit definition ive seen given for n-ary summations and products products was recursive.