13.7.5.4 SHOW COLLATION 语句
SHOW COLLATION [LIKE pattern | WHERE expr]此语句列出了服务器支持的排序规则。由 default,则 SHOW 的输出 COLLATION 包括所有可用的排序规则。如果存在 LIKE 子句,则表示 要匹配的排序规则名称。该子句可用于使用更常…
1. limitOrdinal(a) ∧ (S ⊂ a) ∧ (sup S a) → cf a ≤ OrdT(S) 。
证: 根据,limitOrdinal(a) ∧ (S ⊂ a) ∧ (sup S a) ,可集合 S ⊂ a,看作是上升序列 {sᵢ},有
lim ( i → cf a ) sᵢ sup S a,…