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,…
首先,定义了一个整数 i 并初始化为 0 。
然后,进入一个 while 循环。在这个循环中,只要 i 小于等于顺序表 Lq 的最后一个位置 Lq->Last ,并且 Lq 中第 i 个位置的数据不等于要查找的元素 x ,就会执行循环体&#x…