3 minutes, 7 seconds
- slide 15 : 34
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.