We prove that every domain that fails to be algebraic admits the unit interval [0,1][0,1] as its Scott-continuous retract. As a result, every countable domain is algebraic.
生成讲解博客的中文版本
生成AI智能校验的中文版本