本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261011-advance-20261015-r03-domain-codomain-range-foundations · 2026-10-11 · 100 題
Fin型別從0起，Fin(0)=∅，Fin(0)=∅。完整合型images[x]表=[]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([0, 0], [], [], [], 0)
定義陪域完整圖與值域=([0, 0], [], [], [], 0)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[0, 0, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 0], [1, 0], [2, 0]], [0], [1, 2], 1)
定義陪域完整圖與值域=([3, 3], [[0, 0], [1, 0], [2, 0]], [0], [1, 2], 1)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[1, 0, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 1], [1, 0], [2, 0]], [0, 1], [2], 2)
定義陪域完整圖與值域=([3, 3], [[0, 1], [1, 0], [2, 0]], [0, 1], [2], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[2, 0, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 2], [1, 0], [2, 0]], [0, 2], [1], 2)
定義陪域完整圖與值域=([3, 3], [[0, 2], [1, 0], [2, 0]], [0, 2], [1], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[0, 1, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 0], [1, 1], [2, 0]], [0, 1], [2], 2)
定義陪域完整圖與值域=([3, 3], [[0, 0], [1, 1], [2, 0]], [0, 1], [2], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[1, 1, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 1], [1, 1], [2, 0]], [0, 1], [2], 2)
定義陪域完整圖與值域=([3, 3], [[0, 1], [1, 1], [2, 0]], [0, 1], [2], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[2, 1, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 2], [1, 1], [2, 0]], [0, 1, 2], [], 3)
定義陪域完整圖與值域=([3, 3], [[0, 2], [1, 1], [2, 0]], [0, 1, 2], [], 3)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[0, 2, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 0], [1, 2], [2, 0]], [0, 2], [1], 2)
定義陪域完整圖與值域=([3, 3], [[0, 0], [1, 2], [2, 0]], [0, 2], [1], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[1, 2, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 1], [1, 2], [2, 0]], [0, 1, 2], [], 3)
定義陪域完整圖與值域=([3, 3], [[0, 1], [1, 2], [2, 0]], [0, 1, 2], [], 3)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[2, 2, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 2], [1, 2], [2, 0]], [0, 2], [1], 2)
定義陪域完整圖與值域=([3, 3], [[0, 2], [1, 2], [2, 0]], [0, 2], [1], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[0, 0, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 0], [1, 0], [2, 1]], [0, 1], [2], 2)
定義陪域完整圖與值域=([3, 3], [[0, 0], [1, 0], [2, 1]], [0, 1], [2], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[1, 0, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 1], [1, 0], [2, 1]], [0, 1], [2], 2)
定義陪域完整圖與值域=([3, 3], [[0, 1], [1, 0], [2, 1]], [0, 1], [2], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[2, 0, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 2], [1, 0], [2, 1]], [0, 1, 2], [], 3)
定義陪域完整圖與值域=([3, 3], [[0, 2], [1, 0], [2, 1]], [0, 1, 2], [], 3)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[0, 1, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 0], [1, 1], [2, 1]], [0, 1], [2], 2)
定義陪域完整圖與值域=([3, 3], [[0, 0], [1, 1], [2, 1]], [0, 1], [2], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[1, 1, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 1], [1, 1], [2, 1]], [1], [0, 2], 1)
定義陪域完整圖與值域=([3, 3], [[0, 1], [1, 1], [2, 1]], [1], [0, 2], 1)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[2, 1, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 2], [1, 1], [2, 1]], [1, 2], [0], 2)
定義陪域完整圖與值域=([3, 3], [[0, 2], [1, 1], [2, 1]], [1, 2], [0], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[0, 2, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 0], [1, 2], [2, 1]], [0, 1, 2], [], 3)
定義陪域完整圖與值域=([3, 3], [[0, 0], [1, 2], [2, 1]], [0, 1, 2], [], 3)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[1, 2, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 1], [1, 2], [2, 1]], [1, 2], [0], 2)
定義陪域完整圖與值域=([3, 3], [[0, 1], [1, 2], [2, 1]], [1, 2], [0], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[2, 2, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 2], [1, 2], [2, 1]], [1, 2], [0], 2)
定義陪域完整圖與值域=([3, 3], [[0, 2], [1, 2], [2, 1]], [1, 2], [0], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[0, 0, 2]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 0], [1, 0], [2, 2]], [0, 2], [1], 2)
定義陪域完整圖與值域=([3, 3], [[0, 0], [1, 0], [2, 2]], [0, 2], [1], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[1, 0, 2]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 1], [1, 0], [2, 2]], [0, 1, 2], [], 3)
定義陪域完整圖與值域=([3, 3], [[0, 1], [1, 0], [2, 2]], [0, 1, 2], [], 3)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[2, 0, 2]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 2], [1, 0], [2, 2]], [0, 2], [1], 2)
定義陪域完整圖與值域=([3, 3], [[0, 2], [1, 0], [2, 2]], [0, 2], [1], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[0, 1, 2]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 0], [1, 1], [2, 2]], [0, 1, 2], [], 3)
定義陪域完整圖與值域=([3, 3], [[0, 0], [1, 1], [2, 2]], [0, 1, 2], [], 3)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[1, 1, 2]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 1], [1, 1], [2, 2]], [1, 2], [0], 2)
定義陪域完整圖與值域=([3, 3], [[0, 1], [1, 1], [2, 2]], [1, 2], [0], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[2, 1, 2]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。
([3, 3], [[0, 2], [1, 1], [2, 2]], [1, 2], [0], 2)
定義陪域完整圖與值域=([3, 3], [[0, 2], [1, 1], [2, 2]], [1, 2], [0], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate
Fin型別從0起，Fin(0)=∅，Fin(0)=∅。完整合型images表=[]，有序陪域候選=[0, -1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([否, 否], [不合陪域, 不合陪域], [不合陪域, 不合陪域])
陪域候選資格與原像列=([否, 否], [不合陪域, 不合陪域], [不合陪域, 不合陪域])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(0)=∅，Fin(2)=[0, 1]。完整合型images表=[]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[], []], [0, 0])
陪域候選資格與原像列=([是, 是], [[], []], [0, 0])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。完整合型images表=[0, 1, 0]，有序陪域候選=[2, 0]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([否, 是], [不合陪域, [0, 2]], [不合陪域, 2])
陪域候選資格與原像列=([否, 是], [不合陪域, [0, 2]], [不合陪域, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 0, 0, 0, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[0, 1, 2, 3, 4], []], [5, 0])
陪域候選資格與原像列=([是, 是], [[0, 1, 2, 3, 4], []], [5, 0])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 0, 0, 0, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[1, 2, 3, 4], [0]], [4, 1])
陪域候選資格與原像列=([是, 是], [[1, 2, 3, 4], [0]], [4, 1])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 1, 0, 0, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[0, 2, 3, 4], [1]], [4, 1])
陪域候選資格與原像列=([是, 是], [[0, 2, 3, 4], [1]], [4, 1])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 1, 0, 0, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[2, 3, 4], [0, 1]], [3, 2])
陪域候選資格與原像列=([是, 是], [[2, 3, 4], [0, 1]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 0, 1, 0, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[0, 1, 3, 4], [2]], [4, 1])
陪域候選資格與原像列=([是, 是], [[0, 1, 3, 4], [2]], [4, 1])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 0, 1, 0, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[1, 3, 4], [0, 2]], [3, 2])
陪域候選資格與原像列=([是, 是], [[1, 3, 4], [0, 2]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 1, 1, 0, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[0, 3, 4], [1, 2]], [3, 2])
陪域候選資格與原像列=([是, 是], [[0, 3, 4], [1, 2]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 1, 1, 0, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[3, 4], [0, 1, 2]], [2, 3])
陪域候選資格與原像列=([是, 是], [[3, 4], [0, 1, 2]], [2, 3])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 0, 0, 1, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[0, 1, 2, 4], [3]], [4, 1])
陪域候選資格與原像列=([是, 是], [[0, 1, 2, 4], [3]], [4, 1])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 0, 0, 1, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[1, 2, 4], [0, 3]], [3, 2])
陪域候選資格與原像列=([是, 是], [[1, 2, 4], [0, 3]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 1, 0, 1, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[0, 2, 4], [1, 3]], [3, 2])
陪域候選資格與原像列=([是, 是], [[0, 2, 4], [1, 3]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 1, 0, 1, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[2, 4], [0, 1, 3]], [2, 3])
陪域候選資格與原像列=([是, 是], [[2, 4], [0, 1, 3]], [2, 3])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 0, 1, 1, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[0, 1, 4], [2, 3]], [3, 2])
陪域候選資格與原像列=([是, 是], [[0, 1, 4], [2, 3]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 0, 1, 1, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[1, 4], [0, 2, 3]], [2, 3])
陪域候選資格與原像列=([是, 是], [[1, 4], [0, 2, 3]], [2, 3])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 1, 1, 1, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[0, 4], [1, 2, 3]], [2, 3])
陪域候選資格與原像列=([是, 是], [[0, 4], [1, 2, 3]], [2, 3])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 1, 1, 1, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[4], [0, 1, 2, 3]], [1, 4])
陪域候選資格與原像列=([是, 是], [[4], [0, 1, 2, 3]], [1, 4])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 0, 0, 0, 1]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[0, 1, 2, 3], [4]], [4, 1])
陪域候選資格與原像列=([是, 是], [[0, 1, 2, 3], [4]], [4, 1])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 0, 0, 0, 1]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[1, 2, 3], [0, 4]], [3, 2])
陪域候選資格與原像列=([是, 是], [[1, 2, 3], [0, 4]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 1, 0, 0, 1]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[0, 2, 3], [1, 4]], [3, 2])
陪域候選資格與原像列=([是, 是], [[0, 2, 3], [1, 4]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 1, 0, 0, 1]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[2, 3], [0, 1, 4]], [2, 3])
陪域候選資格與原像列=([是, 是], [[2, 3], [0, 1, 4]], [2, 3])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 0, 1, 0, 1]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[0, 1, 3], [2, 4]], [3, 2])
陪域候選資格與原像列=([是, 是], [[0, 1, 3], [2, 4]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 0, 1, 0, 1]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。
([是, 是], [[1, 3], [0, 2, 4]], [2, 3])
陪域候選資格與原像列=([是, 是], [[1, 3], [0, 2, 4]], [2, 3])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate
Fin型別從0起，Fin(1)=[0]，Fin(1)=[0]。原完整合型images=[0]，at=0，新value=0。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(0, [0], [0], [], [], 1)
替換映射表與值域增刪=(0, [0], [0], [], [], 1)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(2)=[0, 1]，Fin(2)=[0, 1]。原完整合型images=[0, 1]，at=0，新value=1。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(0, [1, 1], [1], [0], [], 2)
替換映射表與值域增刪=(0, [1, 1], [1], [0], [], 2)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(2)=[0, 1]，Fin(3)=[0, 1, 2]。原完整合型images=[0, 0]，at=0，新value=2。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(0, [2, 0], [0, 2], [], [2], 3)
替換映射表與值域增刪=(0, [2, 0], [0, 2], [], [2], 3)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(2)=[0, 1]，Fin(2)=[0, 1]。原完整合型images=[0, 1]，at=1，新value=1。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(1, [0, 1], [0, 1], [], [], 2)
替換映射表與值域增刪=(1, [0, 1], [0, 1], [], [], 2)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[4, 0, 5]，at=0，新value=7。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(4, [7, 0, 5], [0, 5, 7], [4], [7], 8)
替換映射表與值域增刪=(4, [7, 0, 5], [0, 5, 7], [4], [7], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[5, 0, 6]，at=0，新value=0。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(5, [0, 0, 6], [0, 6], [5], [], 8)
替換映射表與值域增刪=(5, [0, 0, 6], [0, 6], [5], [], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[6, 0, 7]，at=0，新value=1。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(6, [1, 0, 7], [0, 1, 7], [6], [1], 8)
替換映射表與值域增刪=(6, [1, 0, 7], [0, 1, 7], [6], [1], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[7, 0, 0]，at=0，新value=2。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(7, [2, 0, 0], [0, 2], [7], [2], 8)
替換映射表與值域增刪=(7, [2, 0, 0], [0, 2], [7], [2], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[0, 1, 1]，at=0，新value=3。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(0, [3, 1, 1], [1, 3], [0], [3], 8)
替換映射表與值域增刪=(0, [3, 1, 1], [1, 3], [0], [3], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[1, 1, 2]，at=0，新value=4。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(1, [4, 1, 2], [1, 2, 4], [], [4], 8)
替換映射表與值域增刪=(1, [4, 1, 2], [1, 2, 4], [], [4], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[2, 1, 3]，at=0，新value=5。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(2, [5, 1, 3], [1, 3, 5], [2], [5], 8)
替換映射表與值域增刪=(2, [5, 1, 3], [1, 3, 5], [2], [5], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[3, 1, 4]，at=0，新value=6。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(3, [6, 1, 4], [1, 4, 6], [3], [6], 8)
替換映射表與值域增刪=(3, [6, 1, 4], [1, 4, 6], [3], [6], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[4, 1, 5]，at=0，新value=7。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(4, [7, 1, 5], [1, 5, 7], [4], [7], 8)
替換映射表與值域增刪=(4, [7, 1, 5], [1, 5, 7], [4], [7], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[5, 1, 6]，at=0，新value=0。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(5, [0, 1, 6], [0, 1, 6], [5], [0], 8)
替換映射表與值域增刪=(5, [0, 1, 6], [0, 1, 6], [5], [0], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[6, 1, 7]，at=0，新value=1。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(6, [1, 1, 7], [1, 7], [6], [], 8)
替換映射表與值域增刪=(6, [1, 1, 7], [1, 7], [6], [], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[7, 1, 0]，at=0，新value=2。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(7, [2, 1, 0], [0, 1, 2], [7], [2], 8)
替換映射表與值域增刪=(7, [2, 1, 0], [0, 1, 2], [7], [2], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[0, 2, 1]，at=0，新value=3。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(0, [3, 2, 1], [1, 2, 3], [0], [3], 8)
替換映射表與值域增刪=(0, [3, 2, 1], [1, 2, 3], [0], [3], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[1, 2, 2]，at=0，新value=4。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(1, [4, 2, 2], [2, 4], [1], [4], 8)
替換映射表與值域增刪=(1, [4, 2, 2], [2, 4], [1], [4], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[2, 2, 3]，at=0，新value=5。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(2, [5, 2, 3], [2, 3, 5], [], [5], 8)
替換映射表與值域增刪=(2, [5, 2, 3], [2, 3, 5], [], [5], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[3, 2, 4]，at=0，新value=6。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(3, [6, 2, 4], [2, 4, 6], [3], [6], 8)
替換映射表與值域增刪=(3, [6, 2, 4], [2, 4, 6], [3], [6], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[4, 2, 5]，at=0，新value=7。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(4, [7, 2, 5], [2, 5, 7], [4], [7], 8)
替換映射表與值域增刪=(4, [7, 2, 5], [2, 5, 7], [4], [7], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[5, 2, 6]，at=0，新value=0。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(5, [0, 2, 6], [0, 2, 6], [5], [0], 8)
替換映射表與值域增刪=(5, [0, 2, 6], [0, 2, 6], [5], [0], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[6, 2, 7]，at=0，新value=1。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(6, [1, 2, 7], [1, 2, 7], [6], [1], 8)
替換映射表與值域增刪=(6, [1, 2, 7], [1, 2, 7], [6], [1], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[7, 2, 0]，at=0，新value=2。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(7, [2, 2, 0], [0, 2], [7], [], 8)
替換映射表與值域增刪=(7, [2, 2, 0], [0, 2], [7], [], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[0, 3, 1]，at=0，新value=3。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。
(0, [3, 3, 1], [1, 3], [0], [], 8)
替換映射表與值域增刪=(0, [3, 3, 1], [1, 3], [0], [], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate
Fin型別從0起，Fin(0)=∅，Fin(0)=∅。每輸入恰一資料列；待核原序候選rows=[]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([0, 0], [], [], [], [], 是, [])
一列協議候選表完整稽核=([0, 0], [], [], [], [], 是, [])。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(1)=[0]，Fin(1)=[0]。每輸入恰一資料列；待核原序候選rows=[[0, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([1, 1], [是], [1], [], [], 是, [0])
一列協議候選表完整稽核=([1, 1], [是], [1], [], [], 是, [0])。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(1)=[0]，Fin(1)=[0]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [0, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([1, 1], [是, 是], [2], [], [0], 否, 未成總表)
一列協議候選表完整稽核=([1, 1], [是, 是], [2], [], [0], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(2)=[0, 1]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([2, 2], [是], [1, 0], [1], [], 否, 未成總表)
一列協議候選表完整稽核=([2, 2], [是], [1, 0], [1], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(2)=[0, 1]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [1, 2]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([2, 2], [是, 否], [1, 1], [], [], 否, 未成總表)
一列協議候選表完整稽核=([2, 2], [是, 否], [1, 1], [], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(2)=[0, 1]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[-1, 0], [0, 0], [1, 1]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([2, 2], [否, 是, 是], [1, 1], [], [], 否, 未成總表)
一列協議候選表完整稽核=([2, 2], [否, 是, 是], [1, 1], [], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [], [0, 0, 0], [0, 1, 2], [], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [], [0, 0, 0], [0, 1, 2], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是], [1, 0, 0], [1, 2], [], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [是], [1, 0, 0], [1, 2], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [0, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是, 是], [2, 0, 0], [1, 2], [0], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [是, 是], [2, 0, 0], [1, 2], [0], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[1, 1]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是], [0, 1, 0], [0, 2], [], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [是], [0, 1, 0], [0, 2], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [1, 1]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是, 是], [1, 1, 0], [2], [], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [是, 是], [1, 1, 0], [2], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [0, 0], [1, 1]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是, 是, 是], [2, 1, 0], [2], [0], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [是, 是, 是], [2, 1, 0], [2], [0], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[1, 1], [1, 1]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是, 是], [0, 2, 0], [0, 2], [1], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [是, 是], [0, 2, 0], [0, 2], [1], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [1, 1], [1, 1]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是, 是, 是], [1, 2, 0], [2], [1], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [是, 是, 是], [1, 2, 0], [2], [1], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [0, 0], [1, 1], [1, 1]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是, 是, 是, 是], [2, 2, 0], [2], [0, 1], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [是, 是, 是, 是], [2, 2, 0], [2], [0, 1], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是], [0, 0, 1], [0, 1], [], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [是], [0, 0, 1], [0, 1], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是, 是], [1, 0, 1], [1], [], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [是, 是], [1, 0, 1], [1], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [0, 0], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是, 是, 是], [2, 0, 1], [1], [0], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [是, 是, 是], [2, 0, 1], [1], [0], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[1, 1], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是, 是], [0, 1, 1], [0], [], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [是, 是], [0, 1, 1], [0], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [1, 1], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是, 是, 是], [1, 1, 1], [], [], 是, [0, 1, 0])
一列協議候選表完整稽核=([3, 2], [是, 是, 是], [1, 1, 1], [], [], 是, [0, 1, 0])。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [0, 0], [1, 1], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是, 是, 是, 是], [2, 1, 1], [], [0], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [是, 是, 是, 是], [2, 1, 1], [], [0], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[1, 1], [1, 1], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是, 是, 是], [0, 2, 1], [0], [1], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [是, 是, 是], [0, 2, 1], [0], [1], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [1, 1], [1, 1], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是, 是, 是, 是], [1, 2, 1], [], [1], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [是, 是, 是, 是], [1, 2, 1], [], [1], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [0, 0], [1, 1], [1, 1], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是, 是, 是, 是, 是], [2, 2, 1], [], [0, 1], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [是, 是, 是, 是, 是], [2, 2, 1], [], [0, 1], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate
Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[2, 0], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。
([3, 2], [是, 是], [0, 0, 2], [0, 1], [2], 否, 未成總表)
一列協議候選表完整稽核=([3, 2], [是, 是], [0, 0, 2], [0, 1], [2], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。
定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate