寻观「标准库」之「语言核心」之「内建类型」之书。

「：
汉语：三种大小比较结果的类型：大于关系、小于关系、等于关系。
文言：大小之类，分大于、小于、等于三者。
赋曰：两数相衡列三门，高低齐处各分存。未凭阴阳含混说，三般关系各寻根。
：」
「大小」立「元类型」也。
「：
汉语：大小类型的无参数构造项，表示比较结果为大于。
文言：大小之一项，表大于。
赋曰：前峰高出后峰头，独向青云上一楼。一记题明超过处，不将齐顶此中收。
：」
  「大于关系」立「大小」也。
    「：
汉语：大小类型的无参数构造项，表示比较结果为小于。
文言：大小之一项，表小于。
赋曰：前山低在后山旁，一记题明下此方。未与高峰争并立，自将少处写成章。
：」
  「小于关系」立「大小」也。
    「：
汉语：大小类型的无参数构造项，表示比较结果为相等。
文言：大小之一项，表相等。
赋曰：两峰齐顶映长空，一线平来高下同。不向两端分胜负，只留等记在衡中。
：」
  「等于关系」立「大小」也。
