本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261012-advance-20261017-r04-order-relation-foundations · 2026-10-12 · 100 題
R通常全序，原分母為正。原序values=[(0)/(1), (0)/(2), (0)/(3)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([0/1, 0/1, 0/1], [0, 1, 2], [0/1, 0/1, 0/1], [=, =])
離散結構核對=([0/1, 0/1, 0/1], [0, 1, 2], [0/1, 0/1, 0/1], [=, =])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(-1)/(2), (1)/(3), (-2)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([-1/2, 1/3, -1/2], [0, 2, 1], [-1/2, -1/2, 1/3], [=, <])
離散結構核對=([-1/2, 1/3, -1/2], [0, 2, 1], [-1/2, -1/2, 1/3], [=, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(1)/(2), (-1)/(2), (0)/(1)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([1/2, -1/2, 0/1], [1, 2, 0], [-1/2, 0/1, 1/2], [<, <])
離散結構核對=([1/2, -1/2, 0/1], [1, 2, 0], [-1/2, 0/1, 1/2], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(-9)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([-3/1, 1/2, -1/4], [0, 2, 1], [-3/1, -1/4, 1/2], [<, <])
離散結構核對=([-3/1, 1/2, -1/4], [0, 2, 1], [-3/1, -1/4, 1/2], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(-8)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([-8/3, 1/2, -1/4], [0, 2, 1], [-8/3, -1/4, 1/2], [<, <])
離散結構核對=([-8/3, 1/2, -1/4], [0, 2, 1], [-8/3, -1/4, 1/2], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(-7)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([-7/3, 1/2, -1/4], [0, 2, 1], [-7/3, -1/4, 1/2], [<, <])
離散結構核對=([-7/3, 1/2, -1/4], [0, 2, 1], [-7/3, -1/4, 1/2], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(-6)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([-2/1, 1/2, -1/4], [0, 2, 1], [-2/1, -1/4, 1/2], [<, <])
離散結構核對=([-2/1, 1/2, -1/4], [0, 2, 1], [-2/1, -1/4, 1/2], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(-5)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([-5/3, 1/2, -1/4], [0, 2, 1], [-5/3, -1/4, 1/2], [<, <])
離散結構核對=([-5/3, 1/2, -1/4], [0, 2, 1], [-5/3, -1/4, 1/2], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(-4)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([-4/3, 1/2, -1/4], [0, 2, 1], [-4/3, -1/4, 1/2], [<, <])
離散結構核對=([-4/3, 1/2, -1/4], [0, 2, 1], [-4/3, -1/4, 1/2], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(-3)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([-1/1, 1/2, -1/4], [0, 2, 1], [-1/1, -1/4, 1/2], [<, <])
離散結構核對=([-1/1, 1/2, -1/4], [0, 2, 1], [-1/1, -1/4, 1/2], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(-2)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([-2/3, 1/2, -1/4], [0, 2, 1], [-2/3, -1/4, 1/2], [<, <])
離散結構核對=([-2/3, 1/2, -1/4], [0, 2, 1], [-2/3, -1/4, 1/2], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(-1)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([-1/3, 1/2, -1/4], [0, 2, 1], [-1/3, -1/4, 1/2], [<, <])
離散結構核對=([-1/3, 1/2, -1/4], [0, 2, 1], [-1/3, -1/4, 1/2], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(0)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([0/1, 1/2, -1/4], [2, 0, 1], [-1/4, 0/1, 1/2], [<, <])
離散結構核對=([0/1, 1/2, -1/4], [2, 0, 1], [-1/4, 0/1, 1/2], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(1)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([1/3, 1/2, -1/4], [2, 0, 1], [-1/4, 1/3, 1/2], [<, <])
離散結構核對=([1/3, 1/2, -1/4], [2, 0, 1], [-1/4, 1/3, 1/2], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(2)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([2/3, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 2/3], [<, <])
離散結構核對=([2/3, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 2/3], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(3)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([1/1, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 1/1], [<, <])
離散結構核對=([1/1, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 1/1], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(4)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([4/3, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 4/3], [<, <])
離散結構核對=([4/3, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 4/3], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(5)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([5/3, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 5/3], [<, <])
離散結構核對=([5/3, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 5/3], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(6)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([2/1, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 2/1], [<, <])
離散結構核對=([2/1, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 2/1], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(7)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([7/3, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 7/3], [<, <])
離散結構核對=([7/3, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 7/3], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(8)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([8/3, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 8/3], [<, <])
離散結構核對=([8/3, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 8/3], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(9)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([3/1, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 3/1], [<, <])
離散結構核對=([3/1, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 3/1], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(10)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([10/3, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 10/3], [<, <])
離散結構核對=([10/3, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 10/3], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(11)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([11/3, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 11/3], [<, <])
離散結構核對=([11/3, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 11/3], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。原序values=[(12)/(3), (1)/(2), (-1)/(4)]，索引從0起。答 (原序既約值, 由小到大的原索引, 已排序既約值, 相鄰兩比較符號)。同值保留原索引先後。
([4/1, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 4/1], [<, <])
離散結構核對=([4/1, 1/2, -1/4], [2, 1, 0], [-1/4, 1/2, 4/1], [<, <])；正分母交叉乘積比較，穩定插入索引以保留同值先後。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-rational-sort · candidate
R通常全序，原分母為正。閉區間I1=[(0)/(1), (1)/(1)]，I2=[(1)/(1), (2)/(1)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([0/1, 1/1], [1/1, 2/1], 1/1, 1/1, 是, [1/1, 1/1])
離散結構核對=([0/1, 1/1], [1/1, 2/1], 1/1, 1/1, 是, [1/1, 1/1])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(-2)/(1), (-1)/(1)]，I2=[(0)/(1), (1)/(1)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([-2/1, -1/1], [0/1, 1/1], 0/1, -1/1, 否, 空集)
離散結構核對=([-2/1, -1/1], [0/1, 1/1], 0/1, -1/1, 否, 空集)；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(0)/(1), (0)/(1)]，I2=[(0)/(1), (0)/(1)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([0/1, 0/1], [0/1, 0/1], 0/1, 0/1, 是, [0/1, 0/1])
離散結構核對=([0/1, 0/1], [0/1, 0/1], 0/1, 0/1, 是, [0/1, 0/1])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(-2)/(1), (2)/(1)]，I2=[(-1)/(1), (3)/(1)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([-2/1, 2/1], [-1/1, 3/1], -1/1, 2/1, 是, [-1/1, 2/1])
離散結構核對=([-2/1, 2/1], [-1/1, 3/1], -1/1, 2/1, 是, [-1/1, 2/1])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(-8)/(2), (-2)/(2)]，I2=[(-5)/(2), (1)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([-4/1, -1/1], [-5/2, 1/2], -5/2, -1/1, 是, [-5/2, -1/1])
離散結構核對=([-4/1, -1/1], [-5/2, 1/2], -5/2, -1/1, 是, [-5/2, -1/1])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(-7)/(2), (-1)/(2)]，I2=[(-4)/(2), (2)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([-7/2, -1/2], [-2/1, 1/1], -2/1, -1/2, 是, [-2/1, -1/2])
離散結構核對=([-7/2, -1/2], [-2/1, 1/1], -2/1, -1/2, 是, [-2/1, -1/2])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(-6)/(2), (0)/(2)]，I2=[(-3)/(2), (3)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([-3/1, 0/1], [-3/2, 3/2], -3/2, 0/1, 是, [-3/2, 0/1])
離散結構核對=([-3/1, 0/1], [-3/2, 3/2], -3/2, 0/1, 是, [-3/2, 0/1])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(-5)/(2), (1)/(2)]，I2=[(-2)/(2), (4)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([-5/2, 1/2], [-1/1, 2/1], -1/1, 1/2, 是, [-1/1, 1/2])
離散結構核對=([-5/2, 1/2], [-1/1, 2/1], -1/1, 1/2, 是, [-1/1, 1/2])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(-4)/(2), (2)/(2)]，I2=[(-1)/(2), (5)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([-2/1, 1/1], [-1/2, 5/2], -1/2, 1/1, 是, [-1/2, 1/1])
離散結構核對=([-2/1, 1/1], [-1/2, 5/2], -1/2, 1/1, 是, [-1/2, 1/1])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(-3)/(2), (3)/(2)]，I2=[(0)/(2), (6)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([-3/2, 3/2], [0/1, 3/1], 0/1, 3/2, 是, [0/1, 3/2])
離散結構核對=([-3/2, 3/2], [0/1, 3/1], 0/1, 3/2, 是, [0/1, 3/2])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(-2)/(2), (4)/(2)]，I2=[(1)/(2), (7)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([-1/1, 2/1], [1/2, 7/2], 1/2, 2/1, 是, [1/2, 2/1])
離散結構核對=([-1/1, 2/1], [1/2, 7/2], 1/2, 2/1, 是, [1/2, 2/1])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(-1)/(2), (5)/(2)]，I2=[(2)/(2), (8)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([-1/2, 5/2], [1/1, 4/1], 1/1, 5/2, 是, [1/1, 5/2])
離散結構核對=([-1/2, 5/2], [1/1, 4/1], 1/1, 5/2, 是, [1/1, 5/2])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(0)/(2), (6)/(2)]，I2=[(3)/(2), (9)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([0/1, 3/1], [3/2, 9/2], 3/2, 3/1, 是, [3/2, 3/1])
離散結構核對=([0/1, 3/1], [3/2, 9/2], 3/2, 3/1, 是, [3/2, 3/1])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(1)/(2), (7)/(2)]，I2=[(4)/(2), (10)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([1/2, 7/2], [2/1, 5/1], 2/1, 7/2, 是, [2/1, 7/2])
離散結構核對=([1/2, 7/2], [2/1, 5/1], 2/1, 7/2, 是, [2/1, 7/2])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(2)/(2), (8)/(2)]，I2=[(5)/(2), (11)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([1/1, 4/1], [5/2, 11/2], 5/2, 4/1, 是, [5/2, 4/1])
離散結構核對=([1/1, 4/1], [5/2, 11/2], 5/2, 4/1, 是, [5/2, 4/1])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(3)/(2), (9)/(2)]，I2=[(6)/(2), (12)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([3/2, 9/2], [3/1, 6/1], 3/1, 9/2, 是, [3/1, 9/2])
離散結構核對=([3/2, 9/2], [3/1, 6/1], 3/1, 9/2, 是, [3/1, 9/2])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(4)/(2), (10)/(2)]，I2=[(7)/(2), (13)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([2/1, 5/1], [7/2, 13/2], 7/2, 5/1, 是, [7/2, 5/1])
離散結構核對=([2/1, 5/1], [7/2, 13/2], 7/2, 5/1, 是, [7/2, 5/1])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(5)/(2), (11)/(2)]，I2=[(8)/(2), (14)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([5/2, 11/2], [4/1, 7/1], 4/1, 11/2, 是, [4/1, 11/2])
離散結構核對=([5/2, 11/2], [4/1, 7/1], 4/1, 11/2, 是, [4/1, 11/2])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(6)/(2), (12)/(2)]，I2=[(9)/(2), (15)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([3/1, 6/1], [9/2, 15/2], 9/2, 6/1, 是, [9/2, 6/1])
離散結構核對=([3/1, 6/1], [9/2, 15/2], 9/2, 6/1, 是, [9/2, 6/1])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(7)/(2), (13)/(2)]，I2=[(10)/(2), (16)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([7/2, 13/2], [5/1, 8/1], 5/1, 13/2, 是, [5/1, 13/2])
離散結構核對=([7/2, 13/2], [5/1, 8/1], 5/1, 13/2, 是, [5/1, 13/2])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(8)/(2), (14)/(2)]，I2=[(11)/(2), (17)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([4/1, 7/1], [11/2, 17/2], 11/2, 7/1, 是, [11/2, 7/1])
離散結構核對=([4/1, 7/1], [11/2, 17/2], 11/2, 7/1, 是, [11/2, 7/1])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(9)/(2), (15)/(2)]，I2=[(12)/(2), (18)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([9/2, 15/2], [6/1, 9/1], 6/1, 15/2, 是, [6/1, 15/2])
離散結構核對=([9/2, 15/2], [6/1, 9/1], 6/1, 15/2, 是, [6/1, 15/2])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(10)/(2), (16)/(2)]，I2=[(13)/(2), (19)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([5/1, 8/1], [13/2, 19/2], 13/2, 8/1, 是, [13/2, 8/1])
離散結構核對=([5/1, 8/1], [13/2, 19/2], 13/2, 8/1, 是, [13/2, 8/1])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(11)/(2), (17)/(2)]，I2=[(14)/(2), (20)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([11/2, 17/2], [7/1, 10/1], 7/1, 17/2, 是, [7/1, 17/2])
離散結構核對=([11/2, 17/2], [7/1, 10/1], 7/1, 17/2, 是, [7/1, 17/2])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間I1=[(12)/(2), (18)/(2)]，I2=[(15)/(2), (21)/(2)]。答 (I1兩界, I2兩界, 最大下界, 最小上界, 交集非空資格, 交集兩界或空集)。
([6/1, 9/1], [15/2, 21/2], 15/2, 9/1, 是, [15/2, 9/1])
離散結構核對=([6/1, 9/1], [15/2, 21/2], 15/2, 9/1, 是, [15/2, 9/1])；比較兩下界取大、兩上界取小；下界等於上界仍含該點。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-interval-intersection · candidate
R通常全序，原分母為正。閉區間=[(0)/(1), (0)/(1)]，有序三查詢=[(-1)/(1), (0)/(1), (1)/(1)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([0/1, 0/1], [-1/1, 0/1, 1/1], [否, 是, 否], [[-1/1, 1/1], [0/1, 0/1], [1/1, -1/1]])
離散結構核對=([0/1, 0/1], [-1/1, 0/1, 1/1], [否, 是, 否], [[-1/1, 1/1], [0/1, 0/1], [1/1, -1/1]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-1)/(2), (1)/(2)]，有序三查詢=[(-1)/(2), (1)/(2), (1)/(1)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-1/2, 1/2], [-1/2, 1/2, 1/1], [是, 是, 否], [[0/1, 1/1], [1/1, 0/1], [3/2, -1/2]])
離散結構核對=([-1/2, 1/2], [-1/2, 1/2, 1/1], [是, 是, 否], [[0/1, 1/1], [1/1, 0/1], [3/2, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-2)/(3), (2)/(2)]，有序三查詢=[(0)/(1), (-2)/(3), (3)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-2/3, 1/1], [0/1, -2/3, 3/2], [是, 是, 否], [[2/3, 1/1], [0/1, 5/3], [13/6, -1/2]])
離散結構核對=([-2/3, 1/1], [0/1, -2/3, 3/2], [是, 是, 否], [[2/3, 1/1], [0/1, 5/3], [13/6, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-3)/(3), (3)/(2)]，有序三查詢=[(0)/(1), (-3)/(3), (4)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-1/1, 3/2], [0/1, -1/1, 2/1], [是, 是, 否], [[1/1, 3/2], [0/1, 5/2], [3/1, -1/2]])
離散結構核對=([-1/1, 3/2], [0/1, -1/1, 2/1], [是, 是, 否], [[1/1, 3/2], [0/1, 5/2], [3/1, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-4)/(3), (4)/(2)]，有序三查詢=[(0)/(1), (-4)/(3), (5)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-4/3, 2/1], [0/1, -4/3, 5/2], [是, 是, 否], [[4/3, 2/1], [0/1, 10/3], [23/6, -1/2]])
離散結構核對=([-4/3, 2/1], [0/1, -4/3, 5/2], [是, 是, 否], [[4/3, 2/1], [0/1, 10/3], [23/6, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-5)/(3), (5)/(2)]，有序三查詢=[(0)/(1), (-5)/(3), (6)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-5/3, 5/2], [0/1, -5/3, 3/1], [是, 是, 否], [[5/3, 5/2], [0/1, 25/6], [14/3, -1/2]])
離散結構核對=([-5/3, 5/2], [0/1, -5/3, 3/1], [是, 是, 否], [[5/3, 5/2], [0/1, 25/6], [14/3, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-6)/(3), (6)/(2)]，有序三查詢=[(0)/(1), (-6)/(3), (7)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-2/1, 3/1], [0/1, -2/1, 7/2], [是, 是, 否], [[2/1, 3/1], [0/1, 5/1], [11/2, -1/2]])
離散結構核對=([-2/1, 3/1], [0/1, -2/1, 7/2], [是, 是, 否], [[2/1, 3/1], [0/1, 5/1], [11/2, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-7)/(3), (7)/(2)]，有序三查詢=[(0)/(1), (-7)/(3), (8)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-7/3, 7/2], [0/1, -7/3, 4/1], [是, 是, 否], [[7/3, 7/2], [0/1, 35/6], [19/3, -1/2]])
離散結構核對=([-7/3, 7/2], [0/1, -7/3, 4/1], [是, 是, 否], [[7/3, 7/2], [0/1, 35/6], [19/3, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-8)/(3), (8)/(2)]，有序三查詢=[(0)/(1), (-8)/(3), (9)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-8/3, 4/1], [0/1, -8/3, 9/2], [是, 是, 否], [[8/3, 4/1], [0/1, 20/3], [43/6, -1/2]])
離散結構核對=([-8/3, 4/1], [0/1, -8/3, 9/2], [是, 是, 否], [[8/3, 4/1], [0/1, 20/3], [43/6, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-9)/(3), (9)/(2)]，有序三查詢=[(0)/(1), (-9)/(3), (10)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-3/1, 9/2], [0/1, -3/1, 5/1], [是, 是, 否], [[3/1, 9/2], [0/1, 15/2], [8/1, -1/2]])
離散結構核對=([-3/1, 9/2], [0/1, -3/1, 5/1], [是, 是, 否], [[3/1, 9/2], [0/1, 15/2], [8/1, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-10)/(3), (10)/(2)]，有序三查詢=[(0)/(1), (-10)/(3), (11)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-10/3, 5/1], [0/1, -10/3, 11/2], [是, 是, 否], [[10/3, 5/1], [0/1, 25/3], [53/6, -1/2]])
離散結構核對=([-10/3, 5/1], [0/1, -10/3, 11/2], [是, 是, 否], [[10/3, 5/1], [0/1, 25/3], [53/6, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-11)/(3), (11)/(2)]，有序三查詢=[(0)/(1), (-11)/(3), (12)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-11/3, 11/2], [0/1, -11/3, 6/1], [是, 是, 否], [[11/3, 11/2], [0/1, 55/6], [29/3, -1/2]])
離散結構核對=([-11/3, 11/2], [0/1, -11/3, 6/1], [是, 是, 否], [[11/3, 11/2], [0/1, 55/6], [29/3, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-12)/(3), (12)/(2)]，有序三查詢=[(0)/(1), (-12)/(3), (13)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-4/1, 6/1], [0/1, -4/1, 13/2], [是, 是, 否], [[4/1, 6/1], [0/1, 10/1], [21/2, -1/2]])
離散結構核對=([-4/1, 6/1], [0/1, -4/1, 13/2], [是, 是, 否], [[4/1, 6/1], [0/1, 10/1], [21/2, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-13)/(3), (13)/(2)]，有序三查詢=[(0)/(1), (-13)/(3), (14)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-13/3, 13/2], [0/1, -13/3, 7/1], [是, 是, 否], [[13/3, 13/2], [0/1, 65/6], [34/3, -1/2]])
離散結構核對=([-13/3, 13/2], [0/1, -13/3, 7/1], [是, 是, 否], [[13/3, 13/2], [0/1, 65/6], [34/3, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-14)/(3), (14)/(2)]，有序三查詢=[(0)/(1), (-14)/(3), (15)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-14/3, 7/1], [0/1, -14/3, 15/2], [是, 是, 否], [[14/3, 7/1], [0/1, 35/3], [73/6, -1/2]])
離散結構核對=([-14/3, 7/1], [0/1, -14/3, 15/2], [是, 是, 否], [[14/3, 7/1], [0/1, 35/3], [73/6, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-15)/(3), (15)/(2)]，有序三查詢=[(0)/(1), (-15)/(3), (16)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-5/1, 15/2], [0/1, -5/1, 8/1], [是, 是, 否], [[5/1, 15/2], [0/1, 25/2], [13/1, -1/2]])
離散結構核對=([-5/1, 15/2], [0/1, -5/1, 8/1], [是, 是, 否], [[5/1, 15/2], [0/1, 25/2], [13/1, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-16)/(3), (16)/(2)]，有序三查詢=[(0)/(1), (-16)/(3), (17)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-16/3, 8/1], [0/1, -16/3, 17/2], [是, 是, 否], [[16/3, 8/1], [0/1, 40/3], [83/6, -1/2]])
離散結構核對=([-16/3, 8/1], [0/1, -16/3, 17/2], [是, 是, 否], [[16/3, 8/1], [0/1, 40/3], [83/6, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-17)/(3), (17)/(2)]，有序三查詢=[(0)/(1), (-17)/(3), (18)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-17/3, 17/2], [0/1, -17/3, 9/1], [是, 是, 否], [[17/3, 17/2], [0/1, 85/6], [44/3, -1/2]])
離散結構核對=([-17/3, 17/2], [0/1, -17/3, 9/1], [是, 是, 否], [[17/3, 17/2], [0/1, 85/6], [44/3, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-18)/(3), (18)/(2)]，有序三查詢=[(0)/(1), (-18)/(3), (19)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-6/1, 9/1], [0/1, -6/1, 19/2], [是, 是, 否], [[6/1, 9/1], [0/1, 15/1], [31/2, -1/2]])
離散結構核對=([-6/1, 9/1], [0/1, -6/1, 19/2], [是, 是, 否], [[6/1, 9/1], [0/1, 15/1], [31/2, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-19)/(3), (19)/(2)]，有序三查詢=[(0)/(1), (-19)/(3), (20)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-19/3, 19/2], [0/1, -19/3, 10/1], [是, 是, 否], [[19/3, 19/2], [0/1, 95/6], [49/3, -1/2]])
離散結構核對=([-19/3, 19/2], [0/1, -19/3, 10/1], [是, 是, 否], [[19/3, 19/2], [0/1, 95/6], [49/3, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-20)/(3), (20)/(2)]，有序三查詢=[(0)/(1), (-20)/(3), (21)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-20/3, 10/1], [0/1, -20/3, 21/2], [是, 是, 否], [[20/3, 10/1], [0/1, 50/3], [103/6, -1/2]])
離散結構核對=([-20/3, 10/1], [0/1, -20/3, 21/2], [是, 是, 否], [[20/3, 10/1], [0/1, 50/3], [103/6, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-21)/(3), (21)/(2)]，有序三查詢=[(0)/(1), (-21)/(3), (22)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-7/1, 21/2], [0/1, -7/1, 11/1], [是, 是, 否], [[7/1, 21/2], [0/1, 35/2], [18/1, -1/2]])
離散結構核對=([-7/1, 21/2], [0/1, -7/1, 11/1], [是, 是, 否], [[7/1, 21/2], [0/1, 35/2], [18/1, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-22)/(3), (22)/(2)]，有序三查詢=[(0)/(1), (-22)/(3), (23)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-22/3, 11/1], [0/1, -22/3, 23/2], [是, 是, 否], [[22/3, 11/1], [0/1, 55/3], [113/6, -1/2]])
離散結構核對=([-22/3, 11/1], [0/1, -22/3, 23/2], [是, 是, 否], [[22/3, 11/1], [0/1, 55/3], [113/6, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-23)/(3), (23)/(2)]，有序三查詢=[(0)/(1), (-23)/(3), (24)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-23/3, 23/2], [0/1, -23/3, 12/1], [是, 是, 否], [[23/3, 23/2], [0/1, 115/6], [59/3, -1/2]])
離散結構核對=([-23/3, 23/2], [0/1, -23/3, 12/1], [是, 是, 否], [[23/3, 23/2], [0/1, 115/6], [59/3, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。閉區間=[(-24)/(3), (24)/(2)]，有序三查詢=[(0)/(1), (-24)/(3), (25)/(2)]。答 (區間兩界, 三查詢既約值, 三會員資格, 每查詢的[query−l,u−query])。最後兩數是有號差。
([-8/1, 12/1], [0/1, -8/1, 25/2], [是, 是, 否], [[8/1, 12/1], [0/1, 20/1], [41/2, -1/2]])
離散結構核對=([-8/1, 12/1], [0/1, -8/1, 25/2], [是, 是, 否], [[8/1, 12/1], [0/1, 20/1], [41/2, -1/2]])；分別算距上下界的有號差；兩差皆非負即含端點會員。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-three-membership-slacks · candidate
R通常全序，原分母為正。a=(-1)/(2)、b=(1)/(3)、t=(0)/(1)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(-1/2, 1/3, 0/1, 0/1, 0/1, <, =, 合併)
離散結構核對=(-1/2, 1/3, 0/1, 0/1, 0/1, <, =, 合併)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(0)/(1)、b=(0)/(1)、t=(-2)/(1)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(0/1, 0/1, -2/1, 0/1, 0/1, =, =, 反向)
離散結構核對=(0/1, 0/1, -2/1, 0/1, 0/1, =, =, 反向)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(-10)/(3)、b=(-9)/(2)、t=(3)/(3)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(-10/3, -9/2, 1/1, -10/3, -9/2, >, >, 正向)
離散結構核對=(-10/3, -9/2, 1/1, -10/3, -9/2, >, >, 正向)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(-9)/(3)、b=(-8)/(2)、t=(0)/(4)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(-3/1, -4/1, 0/1, 0/1, 0/1, >, =, 合併)
離散結構核對=(-3/1, -4/1, 0/1, 0/1, 0/1, >, =, 合併)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(-8)/(3)、b=(-7)/(2)、t=(3)/(1)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(-8/3, -7/2, 3/1, -8/1, -21/2, >, >, 正向)
離散結構核對=(-8/3, -7/2, 3/1, -8/1, -21/2, >, >, 正向)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(-7)/(3)、b=(-6)/(2)、t=(-2)/(2)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(-7/3, -3/1, -1/1, 7/3, 3/1, >, <, 反向)
離散結構核對=(-7/3, -3/1, -1/1, 7/3, 3/1, >, <, 反向)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(-6)/(3)、b=(-5)/(2)、t=(0)/(3)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(-2/1, -5/2, 0/1, 0/1, 0/1, >, =, 合併)
離散結構核對=(-2/1, -5/2, 0/1, 0/1, 0/1, >, =, 合併)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(-5)/(3)、b=(-4)/(2)、t=(-2)/(4)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(-5/3, -2/1, -1/2, 5/6, 1/1, >, <, 反向)
離散結構核對=(-5/3, -2/1, -1/2, 5/6, 1/1, >, <, 反向)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(-4)/(3)、b=(-3)/(2)、t=(3)/(1)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(-4/3, -3/2, 3/1, -4/1, -9/2, >, >, 正向)
離散結構核對=(-4/3, -3/2, 3/1, -4/1, -9/2, >, >, 正向)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(-3)/(3)、b=(-2)/(2)、t=(0)/(2)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(-1/1, -1/1, 0/1, 0/1, 0/1, =, =, 合併)
離散結構核對=(-1/1, -1/1, 0/1, 0/1, 0/1, =, =, 合併)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(-2)/(3)、b=(-1)/(2)、t=(3)/(3)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(-2/3, -1/2, 1/1, -2/3, -1/2, <, <, 正向)
離散結構核對=(-2/3, -1/2, 1/1, -2/3, -1/2, <, <, 正向)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(-1)/(3)、b=(0)/(2)、t=(-2)/(4)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(-1/3, 0/1, -1/2, 1/6, 0/1, <, >, 反向)
離散結構核對=(-1/3, 0/1, -1/2, 1/6, 0/1, <, >, 反向)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(0)/(3)、b=(1)/(2)、t=(0)/(1)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(0/1, 1/2, 0/1, 0/1, 0/1, <, =, 合併)
離散結構核對=(0/1, 1/2, 0/1, 0/1, 0/1, <, =, 合併)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(1)/(3)、b=(2)/(2)、t=(-2)/(2)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(1/3, 1/1, -1/1, -1/3, -1/1, <, >, 反向)
離散結構核對=(1/3, 1/1, -1/1, -1/3, -1/1, <, >, 反向)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(2)/(3)、b=(3)/(2)、t=(3)/(3)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(2/3, 3/2, 1/1, 2/3, 3/2, <, <, 正向)
離散結構核對=(2/3, 3/2, 1/1, 2/3, 3/2, <, <, 正向)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(3)/(3)、b=(4)/(2)、t=(0)/(4)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(1/1, 2/1, 0/1, 0/1, 0/1, <, =, 合併)
離散結構核對=(1/1, 2/1, 0/1, 0/1, 0/1, <, =, 合併)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(4)/(3)、b=(5)/(2)、t=(3)/(1)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(4/3, 5/2, 3/1, 4/1, 15/2, <, <, 正向)
離散結構核對=(4/3, 5/2, 3/1, 4/1, 15/2, <, <, 正向)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(5)/(3)、b=(6)/(2)、t=(-2)/(2)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(5/3, 3/1, -1/1, -5/3, -3/1, <, >, 反向)
離散結構核對=(5/3, 3/1, -1/1, -5/3, -3/1, <, >, 反向)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(6)/(3)、b=(7)/(2)、t=(0)/(3)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(2/1, 7/2, 0/1, 0/1, 0/1, <, =, 合併)
離散結構核對=(2/1, 7/2, 0/1, 0/1, 0/1, <, =, 合併)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(7)/(3)、b=(8)/(2)、t=(-2)/(4)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(7/3, 4/1, -1/2, -7/6, -2/1, <, >, 反向)
離散結構核對=(7/3, 4/1, -1/2, -7/6, -2/1, <, >, 反向)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(8)/(3)、b=(9)/(2)、t=(3)/(1)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(8/3, 9/2, 3/1, 8/1, 27/2, <, <, 正向)
離散結構核對=(8/3, 9/2, 3/1, 8/1, 27/2, <, <, 正向)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(9)/(3)、b=(10)/(2)、t=(0)/(2)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(3/1, 5/1, 0/1, 0/1, 0/1, <, =, 合併)
離散結構核對=(3/1, 5/1, 0/1, 0/1, 0/1, <, =, 合併)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(10)/(3)、b=(11)/(2)、t=(3)/(3)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(10/3, 11/2, 1/1, 10/3, 11/2, <, <, 正向)
離散結構核對=(10/3, 11/2, 1/1, 10/3, 11/2, <, <, 正向)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(11)/(3)、b=(12)/(2)、t=(-2)/(4)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(11/3, 6/1, -1/2, -11/6, -3/1, <, >, 反向)
離散結構核對=(11/3, 6/1, -1/2, -11/6, -3/1, <, >, 反向)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate
R通常全序，原分母為正。a=(12)/(3)、b=(13)/(2)、t=(0)/(1)。答 (a,b,t,t*a,t*b, 原比較, 新比較, 正向或反向或合併)。
(4/1, 13/2, 0/1, 0/1, 0/1, <, =, 合併)
離散結構核對=(4/1, 13/2, 0/1, 0/1, 0/1, <, =, 合併)；精確算兩個乘積再比較；t的正、負、零各給指定方向標籤。；有限精確核對不是一般形式證明；閉區間含端點；乘負反向乘零合併；不外推任意偏序或複數。
實數大小與順序 · qf-density17-order-scaling-direction · candidate