二、有理数集合Q

  定义12.1.4
  定理12.1.1
  定义12.1.5
  定义12.1.6