Dedekind 分割

Dedekind 分割与实数的构造 定义 (Dedekind 分割) $X\subset \mathbb{Q}$ 是有理数的子集, 令 $X’=\mathbb{Q}-X$. 如果下面三条性质都成立: $X\neq \varnot...