CONSISTENTLY CONTINUOUS POSETS AND THEIR DIRECTED COMPLETIONS

• 相容连续偏序集及其定向完备化