Complete_partial_order