See [temp.spec.partial.order].