Partial cyclic order (source code)

= Partial cyclic order
{wiki=Partial_cyclic_order}