Bounded complete poset (source code)

= Bounded complete poset
{wiki=Bounded_complete_poset}