Lecture overview -- Keyboard shortcut: 'u'  Previous page: Reduction and Zipping [Section] -- Keyboard shortcut: 'p'  Next page: The reduction functions -- Keyboard shortcut: 'n'  Lecture notes - all slides together  Annotated slide -- Keyboard shortcut: 't'  Alphabetic index  Help page about these notes  Course home    Recursion and Higher-order Functions - slide 27 : 35

Reduction of a list by means of a binary operator transforms the list to a value in the range of the binary operator.

There is no natural value for reduction of the empty list.

Therefore we assume as a precondition that the list is non-empty.