二、有理数集合Q
定义12.1.4
定理12.1.1
定义12.1.5
定义12.1.6