实数理论

利用上确界讨论实数集的聚点，证明两个互补非空子集中至少一方含有另一方的聚点。