Chain-complete partial order (source code)

= Chain-complete partial order
{wiki=Chain-complete_partial_order}