To be precise, Rudin, Richman, and Enderton call this cut 1*, 1−, and 1R, respectively; all three identify it with the traditional real number 1.
为了精确，鲁丁（Rudin）、里奇曼和分别把这个分割称为1*、1−，和1R；三者都把它等同於传统的实数1。