What does "all possible partitions P of [a,b]" mean exactly?