5.5.2 の中へのの埋め込み



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