# 子集合補缺：阻擋點、嚴格資格、鏈與反例候選基礎 · 脈衝 R05

本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。

本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。

batch-20261008-advance-20261011-r05-subset-foundations · 2026-10-08 · 100 題



## 1. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[]、B=[1]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[]

全部阻擋元素=[]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0001/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 2. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-1]、B=[]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-1]

全部阻擋元素=[-1]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0002/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 3. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-2, 2, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-2, 2]

全部阻擋元素=[-2, 2]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0003/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 4. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-3, 3, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-3, 3]

全部阻擋元素=[-3, 3]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0004/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 5. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-4, 4, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-4, 4]

全部阻擋元素=[-4, 4]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0005/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 6. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-5, 5, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-5, 5]

全部阻擋元素=[-5, 5]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0006/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 7. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-6, 6, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-6, 6]

全部阻擋元素=[-6, 6]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0007/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 8. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-7, 7, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-7, 7]

全部阻擋元素=[-7, 7]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0008/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 9. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-8, 8, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-8, 8]

全部阻擋元素=[-8, 8]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0009/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 10. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-9, 9, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-9, 9]

全部阻擋元素=[-9, 9]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0010/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 11. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-10, 10, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-10, 10]

全部阻擋元素=[-10, 10]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0011/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 12. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-11, 11, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-11, 11]

全部阻擋元素=[-11, 11]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0012/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 13. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-12, 12, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-12, 12]

全部阻擋元素=[-12, 12]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0013/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 14. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-13, 13, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-13, 13]

全部阻擋元素=[-13, 13]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0014/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 15. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-14, 14, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-14, 14]

全部阻擋元素=[-14, 14]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0015/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 16. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-15, 15, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-15, 15]

全部阻擋元素=[-15, 15]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0016/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 17. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-16, 16, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-16, 16]

全部阻擋元素=[-16, 16]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0017/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 18. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-17, 17, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-17, 17]

全部阻擋元素=[-17, 17]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0018/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 19. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-18, 18, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-18, 18]

全部阻擋元素=[-18, 18]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0019/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 20. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-19, 19, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-19, 19]

全部阻擋元素=[-19, 19]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0020/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 21. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-20, 20, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-20, 20]

全部阻擋元素=[-20, 20]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0021/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 22. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-21, 21, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-21, 21]

全部阻擋元素=[-21, 21]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0022/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 23. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-22, 22, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-22, 22]

全部阻擋元素=[-22, 22]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0023/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 24. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-23, 23, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-23, 23]

全部阻擋元素=[-23, 23]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0024/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 25. 非嚴格包含的全部阻擋元素

有限整數集合；同一整數型別；A=[-24, 24, 0]、B=[0]。完整列A⊆B的阻擋元素，即所有屬A但不屬B者，遞增且去重。

查看答案與解釋[-24, 24]

全部阻擋元素=[-24, 24]。阻擋者正是A\B；沒有阻擋才通過包含，空A不產生反例。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0025/)

子集合 · qf-density11-subset-obstruction-list · candidate





## 26. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(是, 否, [], [])

非嚴格嚴格資格與見證=(是, 否, [], [])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0026/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 27. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[]、B=[-1]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(是, 是, [], [-1])

非嚴格嚴格資格與見證=(是, 是, [], [-1])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0027/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 28. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[-2]、B=[]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(否, 否, [-2], [])

非嚴格嚴格資格與見證=(否, 否, [-2], [])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0028/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 29. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[0]、B=[0, 3]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(是, 是, [], [3])

非嚴格嚴格資格與見證=(是, 是, [], [3])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0029/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 30. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[-4, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(否, 否, [-4], [])

非嚴格嚴格資格與見證=(否, 否, [-4], [])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0030/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 31. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[-5, 0]、B=[0, 5]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(否, 否, [-5], [5])

非嚴格嚴格資格與見證=(否, 否, [-5], [5])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0031/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 32. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[0]、B=[0, 6]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(是, 是, [], [6])

非嚴格嚴格資格與見證=(是, 是, [], [6])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0032/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 33. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[-7, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(否, 否, [-7], [])

非嚴格嚴格資格與見證=(否, 否, [-7], [])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0033/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 34. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[-8, 0]、B=[0, 8]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(否, 否, [-8], [8])

非嚴格嚴格資格與見證=(否, 否, [-8], [8])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0034/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 35. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[0]、B=[0, 9]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(是, 是, [], [9])

非嚴格嚴格資格與見證=(是, 是, [], [9])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0035/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 36. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[-10, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(否, 否, [-10], [])

非嚴格嚴格資格與見證=(否, 否, [-10], [])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0036/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 37. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[-11, 0]、B=[0, 11]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(否, 否, [-11], [11])

非嚴格嚴格資格與見證=(否, 否, [-11], [11])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0037/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 38. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[0]、B=[0, 12]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(是, 是, [], [12])

非嚴格嚴格資格與見證=(是, 是, [], [12])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0038/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 39. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[-13, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(否, 否, [-13], [])

非嚴格嚴格資格與見證=(否, 否, [-13], [])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0039/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 40. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[-14, 0]、B=[0, 14]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(否, 否, [-14], [14])

非嚴格嚴格資格與見證=(否, 否, [-14], [14])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0040/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 41. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[0]、B=[0, 15]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(是, 是, [], [15])

非嚴格嚴格資格與見證=(是, 是, [], [15])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0041/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 42. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[-16, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(否, 否, [-16], [])

非嚴格嚴格資格與見證=(否, 否, [-16], [])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0042/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 43. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[-17, 0]、B=[0, 17]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(否, 否, [-17], [17])

非嚴格嚴格資格與見證=(否, 否, [-17], [17])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0043/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 44. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[0]、B=[0, 18]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(是, 是, [], [18])

非嚴格嚴格資格與見證=(是, 是, [], [18])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0044/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 45. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[-19, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(否, 否, [-19], [])

非嚴格嚴格資格與見證=(否, 否, [-19], [])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0045/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 46. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[-20, 0]、B=[0, 20]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(否, 否, [-20], [20])

非嚴格嚴格資格與見證=(否, 否, [-20], [20])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0046/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 47. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[0]、B=[0, 21]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(是, 是, [], [21])

非嚴格嚴格資格與見證=(是, 是, [], [21])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0047/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 48. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[-22, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(否, 否, [-22], [])

非嚴格嚴格資格與見證=(否, 否, [-22], [])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0048/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 49. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[-23, 0]、B=[0, 23]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(否, 否, [-23], [23])

非嚴格嚴格資格與見證=(否, 否, [-23], [23])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0049/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 50. 非嚴格與嚴格包含的資格見證

有限整數集合；同一整數型別；A=[0]、B=[0, 24]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A)，兩個見證集遞增。

查看答案與解釋(是, 是, [], [24])

非嚴格嚴格資格與見證=(是, 是, [], [24])。左差空才非嚴格包含，再要求右差非空才嚴格；集合相等只通過非嚴格欄。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0050/)

子集合 · qf-density11-subset-strict-witnesses · candidate





## 51. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[]、B=[0]、C=[0, 1]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([], [], [])

三段包含阻擋=([], [], [])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0051/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 52. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[1]、B=[]、C=[1]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([1], [], [])

三段包含阻擋=([1], [], [])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0052/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 53. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[0]、B=[0, 2]、C=[0]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([], [2], [])

三段包含阻擋=([], [2], [])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0053/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 54. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-3, 0]、B=[0, 3]、C=[0, 4]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-3], [3], [-3])

三段包含阻擋=([-3], [3], [-3])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0054/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 55. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-4, 0]、B=[0, 4]、C=[0, 5]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-4], [4], [-4])

三段包含阻擋=([-4], [4], [-4])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0055/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 56. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-5, 0]、B=[0, 5]、C=[0, 6]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-5], [5], [-5])

三段包含阻擋=([-5], [5], [-5])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0056/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 57. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-6, 0]、B=[0, 6]、C=[0, 7]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-6], [6], [-6])

三段包含阻擋=([-6], [6], [-6])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0057/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 58. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-7, 0]、B=[0, 7]、C=[0, 8]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-7], [7], [-7])

三段包含阻擋=([-7], [7], [-7])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0058/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 59. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-8, 0]、B=[0, 8]、C=[0, 9]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-8], [8], [-8])

三段包含阻擋=([-8], [8], [-8])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0059/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 60. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-9, 0]、B=[0, 9]、C=[0, 10]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-9], [9], [-9])

三段包含阻擋=([-9], [9], [-9])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0060/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 61. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-10, 0]、B=[0, 10]、C=[0, 11]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-10], [10], [-10])

三段包含阻擋=([-10], [10], [-10])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0061/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 62. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-11, 0]、B=[0, 11]、C=[0, 12]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-11], [11], [-11])

三段包含阻擋=([-11], [11], [-11])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0062/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 63. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-12, 0]、B=[0, 12]、C=[0, 13]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-12], [12], [-12])

三段包含阻擋=([-12], [12], [-12])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0063/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 64. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-13, 0]、B=[0, 13]、C=[0, 14]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-13], [13], [-13])

三段包含阻擋=([-13], [13], [-13])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0064/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 65. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-14, 0]、B=[0, 14]、C=[0, 15]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-14], [14], [-14])

三段包含阻擋=([-14], [14], [-14])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0065/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 66. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-15, 0]、B=[0, 15]、C=[0, 16]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-15], [15], [-15])

三段包含阻擋=([-15], [15], [-15])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0066/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 67. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-16, 0]、B=[0, 16]、C=[0, 17]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-16], [16], [-16])

三段包含阻擋=([-16], [16], [-16])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0067/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 68. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-17, 0]、B=[0, 17]、C=[0, 18]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-17], [17], [-17])

三段包含阻擋=([-17], [17], [-17])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0068/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 69. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-18, 0]、B=[0, 18]、C=[0, 19]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-18], [18], [-18])

三段包含阻擋=([-18], [18], [-18])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0069/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 70. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-19, 0]、B=[0, 19]、C=[0, 20]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-19], [19], [-19])

三段包含阻擋=([-19], [19], [-19])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0070/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 71. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-20, 0]、B=[0, 20]、C=[0, 21]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-20], [20], [-20])

三段包含阻擋=([-20], [20], [-20])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0071/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 72. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-21, 0]、B=[0, 21]、C=[0, 22]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-21], [21], [-21])

三段包含阻擋=([-21], [21], [-21])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0072/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 73. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-22, 0]、B=[0, 22]、C=[0, 23]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-22], [22], [-22])

三段包含阻擋=([-22], [22], [-22])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0073/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 74. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-23, 0]、B=[0, 23]、C=[0, 24]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-23], [23], [-23])

三段包含阻擋=([-23], [23], [-23])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0074/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 75. 三段包含的有序阻擋集

有限整數集合；同一整數型別；A=[-24, 0]、B=[0, 24]、C=[0, 25]。依序列 (A\B, B\C, A\C)，各遞增，保留空段。

查看答案與解釋([-24], [24], [-24])

三段包含阻擋=([-24], [24], [-24])。分別枚舉三段隸屬條件；某一鏈節失敗不自動決定另一段，三段不能互相替代。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0075/)

子集合 · qf-density11-subset-chain-obstructions · candidate





## 76. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[]、B=[]、有序候選=[100, 101, 102]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[否, 否, 否]

包含反例候選資格=[否, 否, 否]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0076/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 77. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 101, 102]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[是, 否, 否]

包含反例候選資格=[是, 否, 否]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0077/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 78. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, 2, 102]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[否, 否, 否]

包含反例候選資格=[否, 否, 否]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0078/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 79. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 2, 102]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[是, 否, 否]

包含反例候選資格=[是, 否, 否]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0079/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 80. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, -2, 102]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[否, 是, 否]

包含反例候選資格=[否, 是, 否]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0080/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 81. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, -2, 102]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[否, 是, 否]

包含反例候選資格=[否, 是, 否]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0081/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 82. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, -2, 102]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[是, 是, 否]

包含反例候選資格=[是, 是, 否]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0082/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 83. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, 101, 3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[否, 否, 否]

包含反例候選資格=[否, 否, 否]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0083/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 84. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, 101, 3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[否, 否, 否]

包含反例候選資格=[否, 否, 否]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0084/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 85. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 101, 3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[是, 否, 否]

包含反例候選資格=[是, 否, 否]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0085/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 86. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, 2, 3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[否, 否, 否]

包含反例候選資格=[否, 否, 否]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0086/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 87. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, 2, 3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[否, 否, 否]

包含反例候選資格=[否, 否, 否]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0087/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 88. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 2, 3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[是, 否, 否]

包含反例候選資格=[是, 否, 否]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0088/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 89. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, -2, 3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[否, 是, 否]

包含反例候選資格=[否, 是, 否]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0089/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 90. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, -2, 3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[否, 是, 否]

包含反例候選資格=[否, 是, 否]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0090/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 91. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, -2, 3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[是, 是, 否]

包含反例候選資格=[是, 是, 否]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0091/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 92. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, 101, -3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[否, 否, 是]

包含反例候選資格=[否, 否, 是]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0092/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 93. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, 101, -3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[否, 否, 是]

包含反例候選資格=[否, 否, 是]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0093/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 94. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 101, -3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[是, 否, 是]

包含反例候選資格=[是, 否, 是]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0094/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 95. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, 2, -3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[否, 否, 是]

包含反例候選資格=[否, 否, 是]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0095/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 96. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, 2, -3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[否, 否, 是]

包含反例候選資格=[否, 否, 是]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0096/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 97. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 2, -3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[是, 否, 是]

包含反例候選資格=[是, 否, 是]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0097/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 98. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, -2, -3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[否, 是, 是]

包含反例候選資格=[否, 是, 是]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0098/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 99. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, -2, -3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[否, 是, 是]

包含反例候選資格=[否, 是, 是]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0099/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate





## 100. 三個候選的包含反例資格

有限整數集合；同一整數型別；A=[-3, -2, -1, 1, 2, 3]、B=[]、有序候選=[-1, -2, -3]。逐項答是否c∈A且c∉B，域外A的候選不算阻擋見證。

查看答案與解釋[是, 是, 是]

包含反例候選資格=[是, 是, 是]。先要求屬A，再排除屬B；共有元素與A外元素都不是反例，不只看候選未進B。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261011-r05-subset-0100/)

子集合 · qf-density11-subset-candidate-witness-mask · candidate



[原始題目 JSONL](https://ocme.evemisslab.com/data/questions/batches/batch-20261008-advance-20261011-r05-subset-foundations/questions.jsonl) · [驗收報告](https://ocme.evemisslab.com/data/questions/batches/batch-20261008-advance-20261011-r05-subset-foundations/validation-report.json)