Complete partial order (source code)

= Complete partial order
{wiki=Complete_partial_order}