5.5.2
の中への
の埋め込み
有理数の系は,つぎのようにして,実数の系に埋め込まれる。即ち,有理数qを,
デデキント流の導入法では,qを切り口にもつ切断の類と同一視する.
カントール流の導入法では,qを極限とするコーシー列の類と同一視する.