本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261008-advance-20261011-r07-tends-to-relation-foundations · 2026-10-08 · 100 題
Fin(0)=∅，[]表示空型別的完整表；有限主濾子；完整總映射 f:Fin(0)→Fin(0) 的表=[]，S=[]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[]
主濾子像生成集=[]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(3)→Fin(1) 的表=[0, 0, 0]，S=[0, 1]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[0]
主濾子像生成集=[0]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[1]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[1]
主濾子像生成集=[1]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[0, 1]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[0, 1]
主濾子像生成集=[0, 1]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[2]
主濾子像生成集=[2]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[0, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[0, 2]
主濾子像生成集=[0, 2]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[1, 2]
主濾子像生成集=[1, 2]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[0, 1, 2]
主濾子像生成集=[0, 1, 2]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[3]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[3]
主濾子像生成集=[3]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[0, 3]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[0, 3]
主濾子像生成集=[0, 3]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[1, 3]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[1, 3]
主濾子像生成集=[1, 3]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[0, 1, 3]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[0, 1, 3]
主濾子像生成集=[0, 1, 3]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[2, 3]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[2, 3]
主濾子像生成集=[2, 3]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[0, 2, 3]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[0, 2, 3]
主濾子像生成集=[0, 2, 3]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[1, 2, 3]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[1, 2, 3]
主濾子像生成集=[1, 2, 3]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[0, 1, 2, 3]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[0, 1, 2, 3]
主濾子像生成集=[0, 1, 2, 3]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[4]
主濾子像生成集=[4]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[0, 4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[0, 4]
主濾子像生成集=[0, 4]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[1, 4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[1, 4]
主濾子像生成集=[1, 4]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[0, 1, 4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[0, 1, 4]
主濾子像生成集=[0, 1, 4]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[2, 4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[2, 4]
主濾子像生成集=[2, 4]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[0, 2, 4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[0, 2, 4]
主濾子像生成集=[0, 2, 4]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[1, 2, 4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[1, 2, 4]
主濾子像生成集=[1, 2, 4]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[0, 1, 2, 4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[0, 1, 2, 4]
主濾子像生成集=[0, 1, 2, 4]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[0, 1, 2, 3, 4, 5, 6, 7]，S=[3, 4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。列像主濾子的生成集f(S)，遞增且去重。
[3, 4]
主濾子像生成集=[3, 4]。只把S的每個元素送入合法總映射，再去重；空生成集的像仍空，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-image · candidate
有限主濾子；完整總映射 f:Fin(3)→Fin(1) 的表=[0, 0, 0]，S=[0, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[]
主濾子趨近阻擋點=[]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[1, 0, 0, 0, 0, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[0]
主濾子趨近阻擋點=[0]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[0, 1, 0, 0, 0, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[1]
主濾子趨近阻擋點=[1]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[1, 1, 0, 0, 0, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[0, 1]
主濾子趨近阻擋點=[0, 1]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[0, 0, 1, 0, 0, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[2]
主濾子趨近阻擋點=[2]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[1, 0, 1, 0, 0, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[0, 2]
主濾子趨近阻擋點=[0, 2]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[0, 1, 1, 0, 0, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[1, 2]
主濾子趨近阻擋點=[1, 2]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[1, 1, 1, 0, 0, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[0, 1, 2]
主濾子趨近阻擋點=[0, 1, 2]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[0, 0, 0, 1, 0, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[3]
主濾子趨近阻擋點=[3]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[1, 0, 0, 1, 0, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[0, 3]
主濾子趨近阻擋點=[0, 3]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[0, 1, 0, 1, 0, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[1, 3]
主濾子趨近阻擋點=[1, 3]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[1, 1, 0, 1, 0, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[0, 1, 3]
主濾子趨近阻擋點=[0, 1, 3]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[0, 0, 1, 1, 0, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[2, 3]
主濾子趨近阻擋點=[2, 3]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[1, 0, 1, 1, 0, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[0, 2, 3]
主濾子趨近阻擋點=[0, 2, 3]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[0, 1, 1, 1, 0, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[1, 2, 3]
主濾子趨近阻擋點=[1, 2, 3]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[1, 1, 1, 1, 0, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[0, 1, 2, 3]
主濾子趨近阻擋點=[0, 1, 2, 3]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[0, 0, 0, 0, 1, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[4]
主濾子趨近阻擋點=[4]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[1, 0, 0, 0, 1, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[0, 4]
主濾子趨近阻擋點=[0, 4]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[0, 1, 0, 0, 1, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[1, 4]
主濾子趨近阻擋點=[1, 4]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[1, 1, 0, 0, 1, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[0, 1, 4]
主濾子趨近阻擋點=[0, 1, 4]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[0, 0, 1, 0, 1, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[2, 4]
主濾子趨近阻擋點=[2, 4]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[1, 0, 1, 0, 1, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[0, 2, 4]
主濾子趨近阻擋點=[0, 2, 4]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[0, 1, 1, 0, 1, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[1, 2, 4]
主濾子趨近阻擋點=[1, 2, 4]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[1, 1, 1, 0, 1, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[0, 1, 2, 4]
主濾子趨近阻擋點=[0, 1, 2, 4]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(2) 的表=[0, 0, 0, 1, 1, 0, 0, 0]，S=[0, 1, 2, 3, 4, 5, 6, 7]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成。列所有x∈S且f(x)∉T的來源索引，遞增；空集表示此有限模型無阻擋。
[3, 4]
主濾子趨近阻擋點=[3, 4]。方向是f(S)包含於T，逐個來源點核對，不反轉包含；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-obstructions · candidate
Fin(0)=∅，[]表示空型別的完整表；有限主濾子；完整總映射 f:Fin(0)→Fin(0) 的表=[]，S=[]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[]；目標principal(T)由包含T的所有目標子集構成；有序候選=[-1, 0, 1]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 否, 否]
主濾子反例候選資格=[否, 否, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[3, 4, 5]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 否, 否]
主濾子反例候選資格=[否, 否, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[0, 0, 0]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 否, 否]
主濾子反例候選資格=[否, 否, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[]；目標principal(T)由包含T的所有目標子集構成；有序候選=[0, 1, 2]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[是, 是, 是]
主濾子反例候選資格=[是, 是, 是]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[3, 4, 102]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 否, 否]
主濾子反例候選資格=[否, 否, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[0, 0, 102]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 否, 否]
主濾子反例候選資格=[否, 否, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[1, 2, 102]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[是, 是, 否]
主濾子反例候選資格=[是, 是, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[100, 4, 5]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 否, 否]
主濾子反例候選資格=[否, 否, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[3, 0, 5]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 否, 否]
主濾子反例候選資格=[否, 否, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[0, 2, 5]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 是, 否]
主濾子反例候選資格=[否, 是, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[1, 101, 0]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[是, 否, 否]
主濾子反例候選資格=[是, 否, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[100, 0, 0]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 否, 否]
主濾子反例候選資格=[否, 否, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[3, 2, 0]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 是, 否]
主濾子反例候選資格=[否, 是, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[0, 101, 1]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 否, 是]
主濾子反例候選資格=[否, 否, 是]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[1, 4, 1]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[是, 否, 是]
主濾子反例候選資格=[是, 否, 是]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[100, 2, 1]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 是, 是]
主濾子反例候選資格=[否, 是, 是]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[3, 101, 102]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 否, 否]
主濾子反例候選資格=[否, 否, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[0, 4, 102]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 否, 否]
主濾子反例候選資格=[否, 否, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[1, 0, 102]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[是, 否, 否]
主濾子反例候選資格=[是, 否, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[100, 101, 5]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 否, 否]
主濾子反例候選資格=[否, 否, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[0, 0, 5]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 否, 否]
主濾子反例候選資格=[否, 否, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[1, 2, 5]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[是, 是, 否]
主濾子反例候選資格=[是, 是, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[100, 4, 0]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 否, 否]
主濾子反例候選資格=[否, 否, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[3, 0, 0]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 否, 否]
主濾子反例候選資格=[否, 否, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
有限主濾子；完整總映射 f:Fin(6)→Fin(2) 的表=[0, 1, 1, 0, 0, 1]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。T=[0]；目標principal(T)由包含T的所有目標子集構成；有序候選=[0, 2, 0]。逐項答是否同時c∈S且f(c)∉T；型別外候選不求f(c)。
[否, 是, 否]
主濾子反例候選資格=[否, 是, 否]。先檢型別與S資格才讀映射值，未屬S及映入T者都不是阻擋；非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-candidate-mask · candidate
Fin(0)=∅，[]表示空型別的完整表；有限主濾子；完整總映射 f:Fin(0)→Fin(0) 的表=[]，S=[]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(0)→Fin(0) 的表=[]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([], [])
兩路主濾子合成像=([], [])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(4)→Fin(3) 的表=[0, 0, 1, 2]，S=[0, 1, 2, 3]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(3)→Fin(8) 的表=[0, 0, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([0], [0])
兩路主濾子合成像=([0], [0])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[1]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([1], [1])
兩路主濾子合成像=([1], [1])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[0, 1]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([0, 1], [0, 1])
兩路主濾子合成像=([0, 1], [0, 1])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([2], [2])
兩路主濾子合成像=([2], [2])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[0, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([0, 2], [0, 2])
兩路主濾子合成像=([0, 2], [0, 2])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([1, 2], [1, 2])
兩路主濾子合成像=([1, 2], [1, 2])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[0, 1, 2]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([0, 1, 2], [0, 1, 2])
兩路主濾子合成像=([0, 1, 2], [0, 1, 2])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[3]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([3], [3])
兩路主濾子合成像=([3], [3])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[0, 3]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([0, 3], [0, 3])
兩路主濾子合成像=([0, 3], [0, 3])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[1, 3]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([1, 3], [1, 3])
兩路主濾子合成像=([1, 3], [1, 3])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[0, 1, 3]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([0, 1, 3], [0, 1, 3])
兩路主濾子合成像=([0, 1, 3], [0, 1, 3])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[2, 3]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([2, 3], [2, 3])
兩路主濾子合成像=([2, 3], [2, 3])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[0, 2, 3]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([0, 2, 3], [0, 2, 3])
兩路主濾子合成像=([0, 2, 3], [0, 2, 3])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[1, 2, 3]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([1, 2, 3], [1, 2, 3])
兩路主濾子合成像=([1, 2, 3], [1, 2, 3])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[0, 1, 2, 3]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([0, 1, 2, 3], [0, 1, 2, 3])
兩路主濾子合成像=([0, 1, 2, 3], [0, 1, 2, 3])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([4], [4])
兩路主濾子合成像=([4], [4])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[0, 4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([0, 4], [0, 4])
兩路主濾子合成像=([0, 4], [0, 4])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[1, 4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([1, 4], [1, 4])
兩路主濾子合成像=([1, 4], [1, 4])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[0, 1, 4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([0, 1, 4], [0, 1, 4])
兩路主濾子合成像=([0, 1, 4], [0, 1, 4])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[2, 4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([2, 4], [2, 4])
兩路主濾子合成像=([2, 4], [2, 4])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[0, 2, 4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([0, 2, 4], [0, 2, 4])
兩路主濾子合成像=([0, 2, 4], [0, 2, 4])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[1, 2, 4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([1, 2, 4], [1, 2, 4])
兩路主濾子合成像=([1, 2, 4], [1, 2, 4])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[0, 1, 2, 4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([0, 1, 2, 4], [0, 1, 2, 4])
兩路主濾子合成像=([0, 1, 2, 4], [0, 1, 2, 4])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate
有限主濾子；完整總映射 f:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]，S=[3, 4]；principal(S)由包含S的所有來源子集構成，允許空生成集且不加入NeBot。完整總映射 g:Fin(8)→Fin(8) 的表=[7, 6, 5, 4, 3, 2, 1, 0]。依序列 ((g∘f)(S), g(f(S)))，兩條路各以完整遞增集表示。
([3, 4], [3, 4])
兩路主濾子合成像=([3, 4], [3, 4])。第一條逐來源合成，第二條先去重中間像再映射；所有F/G表項仍須總合法，非一般數列或點極限。
趨近關係 · qf-density11-tends-principal-composition-images · candidate