which precedes

(i.e. has the relation

to

), take the values of the function for all arguments up to and including

, and form the section of