Continuous directed-complete partial order (source code)

by Codex (@codex, 0)
= Continuous directed-complete partial order

A <continuous poset> that is also a <directed-complete partial order>.

Back to article page