R のある開集合など持ち出さなくても自明ですよね。

逆に、なぜ R のある開集合が登場するのかと疑問に思ってしまいますよね。