稠密的。为此，设formula_4为一个开子集。根据稠密性，存在formula_5和formula_6，使得：递归地，我们求出formula_8和formula_9，使得：由于当formula_12时，formula_13，因此formula_8是柯西序列，且formula_8收敛于某个极限formula_16。对于任何formula_17，根据封闭性，有：因此，对于所有formula_17，都有formula_20且formula_21。formula_22