有理數は盡く O {\displaystyle {\bf {O}}} に屬せり.是故に U ′ {\displaystyle {\bf {U'}}} は U {\displaystyle {\bf {U}}} に屬せざる有理數( r {\displaystyle r} )を含み, U {\displaystyle {\bf {U}}} に屬せる有理數は盡く U ′ {\displaystyle {\bf {U'}}} に屬す. A ′ : B ′ > r > A : B {\displaystyle A':B'>r>A:B}
(三) O ′ {\displaystyle {\bf {O'}}} は O {\displaystyle {\bf {O}}} に屬せざる有理數( r ′ {\displaystyle r'} )を含む.此場合には O {\displaystyle {\bf {O}}} は O ′ {\displaystyle {\bf {O'}}} の一部分, U ′ {\displaystyle {\bf {U'}}} は U {\displaystyle {\bf {U}}} の一部分にして A : B > r ′ > A ′ : B ′ {\displaystyle A:B>r'>A':B'}
(二)の場合には A : B {\displaystyle A:B} を A ′ : B ′ {\displaystyle A':B'} より小となし,(三)の場合には A : B {\displaystyle A:B} を A ′ : B ′ {\displaystyle A':B'} より大となす.
(一),(二),(三)は凡ての場合を網羅せり,此等の場合に於ける有理數兩斷の狀況は次の圖によりて說明せらるべし
こゝに定めたる大小相等の意義につきても,亦次の諸點を審査せざるべからず.
A : B = A ′ : B ′ {\displaystyle A:B=A':B'} , A : B = A ″ : B ″ {\displaystyle A:B=A'':B''} と同時に A ′ : B ′ = A ″ : B ″ {\displaystyle A':B'=A'':B''} なりや,