Kleene–Brouwer order (source code)

= Kleene–Brouwer order
{wiki=Kleene–Brouwer_order}