Let N be the set of positive integers, and let P(n) = boolean OR(1 <= l <= n) {(x(1), ... , x(1)) is an element of N-l: x(1) + ... + x(1) = n} be the set of (ordered) partitions of n.