本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261012-advance-20261017-r03-relation-foundations · 2026-10-12 · 100 題
明示Fin來源與目標，有序關係對。來源Fin(0)=∅，目標Fin(0)=∅，關係R的列項=[]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([0, 0], [], [], [], 0, [])
離散結構核對=([0, 0], [], [], [], 0, [])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(2)=[0, 1]，目標Fin(0)=∅，關係R的列項=[]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([2, 0], [], [], [], 0, [0, 1])
離散結構核對=([2, 0], [], [], [], 0, [0, 1])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(0)=∅，目標Fin(2)=[0, 1]，關係R的列項=[]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([0, 2], [], [], [], 0, [])
離散結構核對=([0, 2], [], [], [], 0, [])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(2)=[0, 1]，目標Fin(2)=[0, 1]，關係R的列項=[[0, 0], [1, 1], [0, 0]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([2, 2], [[0, 0], [1, 1]], [0, 1], [0, 1], 2, [])
離散結構核對=([2, 2], [[0, 0], [1, 1]], [0, 1], [0, 1], 2, [])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(2)=[0, 1]，目標Fin(2)=[0, 1]，關係R的列項=[[0, 0], [0, 1]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([2, 2], [[0, 0], [0, 1]], [0], [0, 1], 2, [1])
離散結構核對=([2, 2], [[0, 0], [0, 1]], [0], [0, 1], 2, [1])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 0]], [0], [0], 1, [1, 2])
離散結構核對=([3, 3], [[0, 0]], [0], [0], 1, [1, 2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 1]], [0], [1], 1, [1, 2])
離散結構核對=([3, 3], [[0, 1]], [0], [1], 1, [1, 2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 0], [0, 1]], [0], [0, 1], 2, [1, 2])
離散結構核對=([3, 3], [[0, 0], [0, 1]], [0], [0, 1], 2, [1, 2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 2]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 2]], [0], [2], 1, [1, 2])
離散結構核對=([3, 3], [[0, 2]], [0], [2], 1, [1, 2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 2]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 0], [0, 2]], [0], [0, 2], 2, [1, 2])
離散結構核對=([3, 3], [[0, 0], [0, 2]], [0], [0, 2], 2, [1, 2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1], [0, 2]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 1], [0, 2]], [0], [1, 2], 2, [1, 2])
離散結構核對=([3, 3], [[0, 1], [0, 2]], [0], [1, 2], 2, [1, 2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1], [0, 2]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 0], [0, 1], [0, 2]], [0], [0, 1, 2], 3, [1, 2])
離散結構核對=([3, 3], [[0, 0], [0, 1], [0, 2]], [0], [0, 1, 2], 3, [1, 2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[1, 0]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[1, 0]], [1], [0], 1, [0, 2])
離散結構核對=([3, 3], [[1, 0]], [1], [0], 1, [0, 2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [1, 0]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 0], [1, 0]], [0, 1], [0], 2, [2])
離散結構核對=([3, 3], [[0, 0], [1, 0]], [0, 1], [0], 2, [2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1], [1, 0]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 1], [1, 0]], [0, 1], [0, 1], 2, [2])
離散結構核對=([3, 3], [[0, 1], [1, 0]], [0, 1], [0, 1], 2, [2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1], [1, 0]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 0], [0, 1], [1, 0]], [0, 1], [0, 1], 3, [2])
離散結構核對=([3, 3], [[0, 0], [0, 1], [1, 0]], [0, 1], [0, 1], 3, [2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 2], [1, 0]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 2], [1, 0]], [0, 1], [0, 2], 2, [2])
離散結構核對=([3, 3], [[0, 2], [1, 0]], [0, 1], [0, 2], 2, [2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 2], [1, 0]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 0], [0, 2], [1, 0]], [0, 1], [0, 2], 3, [2])
離散結構核對=([3, 3], [[0, 0], [0, 2], [1, 0]], [0, 1], [0, 2], 3, [2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1], [0, 2], [1, 0]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 1], [0, 2], [1, 0]], [0, 1], [0, 1, 2], 3, [2])
離散結構核對=([3, 3], [[0, 1], [0, 2], [1, 0]], [0, 1], [0, 1, 2], 3, [2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1], [0, 2], [1, 0]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 0], [0, 1], [0, 2], [1, 0]], [0, 1], [0, 1, 2], 4, [2])
離散結構核對=([3, 3], [[0, 0], [0, 1], [0, 2], [1, 0]], [0, 1], [0, 1, 2], 4, [2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[1, 1]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[1, 1]], [1], [1], 1, [0, 2])
離散結構核對=([3, 3], [[1, 1]], [1], [1], 1, [0, 2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [1, 1]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 0], [1, 1]], [0, 1], [0, 1], 2, [2])
離散結構核對=([3, 3], [[0, 0], [1, 1]], [0, 1], [0, 1], 2, [2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1], [1, 1]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 1], [1, 1]], [0, 1], [1], 2, [2])
離散結構核對=([3, 3], [[0, 1], [1, 1]], [0, 1], [1], 2, [2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1], [1, 1]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 0], [0, 1], [1, 1]], [0, 1], [0, 1], 3, [2])
離散結構核對=([3, 3], [[0, 0], [0, 1], [1, 1]], [0, 1], [0, 1], 3, [2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 2], [1, 1]]。答 ([n,m], 正規有序對, 實際第一投影, 第二投影, 關係基數, 宣告來源中未出現的索引)。
([3, 3], [[0, 2], [1, 1]], [0, 1], [1, 2], 2, [2])
離散結構核對=([3, 3], [[0, 2], [1, 1]], [0, 1], [1, 2], 2, [2])；先去重同一有序對，再各取第一、第二分量的集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-full-typed-inventory · candidate
明示Fin來源與目標，有序關係對。來源Fin(0)=∅，目標Fin(0)=∅，關係R的列項=[]。來源子集列項=[]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([], [], [], [])
離散結構核對=([], [], [], [])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(2)=[0, 1]，目標Fin(2)=[0, 1]，關係R的列項=[]。來源子集列項=[1]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([], [1], [], [[], []])
離散結構核對=([], [1], [], [[], []])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(2)=[0, 1]，目標Fin(2)=[0, 1]，關係R的列項=[[0, 0], [0, 1], [1, 1]]。來源子集列項=[]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 0], [0, 1], [1, 1]], [], [], [[], []])
離散結構核對=([[0, 0], [0, 1], [1, 1]], [], [], [[], []])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(2)=[0, 1]，目標Fin(2)=[0, 1]，關係R的列項=[[0, 0], [0, 1], [1, 1]]。來源子集列項=[0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 0], [0, 1], [1, 1]], [0], [0, 1], [[0], [0]])
離散結構核對=([[0, 0], [0, 1], [1, 1]], [0], [0, 1], [[0], [0]])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(2)=[0, 1]，目標Fin(2)=[0, 1]，關係R的列項=[[0, 0], [1, 1]]。來源子集列項=[1]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 0], [1, 1]], [1], [1], [[], [1]])
離散結構核對=([[0, 0], [1, 1]], [1], [1], [[], [1]])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 0]], [0, 2], [0], [[0], [], []])
離散結構核對=([[0, 0]], [0, 2], [0], [[0], [], []])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 1]], [0, 2], [1], [[], [0], []])
離散結構核對=([[0, 1]], [0, 2], [1], [[], [0], []])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 0], [0, 1]], [0, 2], [0, 1], [[0], [0], []])
離散結構核對=([[0, 0], [0, 1]], [0, 2], [0, 1], [[0], [0], []])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 2]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 2]], [0, 2], [2], [[], [], [0]])
離散結構核對=([[0, 2]], [0, 2], [2], [[], [], [0]])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 2]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 0], [0, 2]], [0, 2], [0, 2], [[0], [], [0]])
離散結構核對=([[0, 0], [0, 2]], [0, 2], [0, 2], [[0], [], [0]])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1], [0, 2]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 1], [0, 2]], [0, 2], [1, 2], [[], [0], [0]])
離散結構核對=([[0, 1], [0, 2]], [0, 2], [1, 2], [[], [0], [0]])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1], [0, 2]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 0], [0, 1], [0, 2]], [0, 2], [0, 1, 2], [[0], [0], [0]])
離散結構核對=([[0, 0], [0, 1], [0, 2]], [0, 2], [0, 1, 2], [[0], [0], [0]])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[1, 0]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[1, 0]], [0, 2], [], [[], [], []])
離散結構核對=([[1, 0]], [0, 2], [], [[], [], []])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [1, 0]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 0], [1, 0]], [0, 2], [0], [[0], [], []])
離散結構核對=([[0, 0], [1, 0]], [0, 2], [0], [[0], [], []])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1], [1, 0]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 1], [1, 0]], [0, 2], [1], [[], [0], []])
離散結構核對=([[0, 1], [1, 0]], [0, 2], [1], [[], [0], []])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1], [1, 0]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 0], [0, 1], [1, 0]], [0, 2], [0, 1], [[0], [0], []])
離散結構核對=([[0, 0], [0, 1], [1, 0]], [0, 2], [0, 1], [[0], [0], []])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 2], [1, 0]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 2], [1, 0]], [0, 2], [2], [[], [], [0]])
離散結構核對=([[0, 2], [1, 0]], [0, 2], [2], [[], [], [0]])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 2], [1, 0]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 0], [0, 2], [1, 0]], [0, 2], [0, 2], [[0], [], [0]])
離散結構核對=([[0, 0], [0, 2], [1, 0]], [0, 2], [0, 2], [[0], [], [0]])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1], [0, 2], [1, 0]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 1], [0, 2], [1, 0]], [0, 2], [1, 2], [[], [0], [0]])
離散結構核對=([[0, 1], [0, 2], [1, 0]], [0, 2], [1, 2], [[], [0], [0]])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1], [0, 2], [1, 0]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 0], [0, 1], [0, 2], [1, 0]], [0, 2], [0, 1, 2], [[0], [0], [0]])
離散結構核對=([[0, 0], [0, 1], [0, 2], [1, 0]], [0, 2], [0, 1, 2], [[0], [0], [0]])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[1, 1]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[1, 1]], [0, 2], [], [[], [], []])
離散結構核對=([[1, 1]], [0, 2], [], [[], [], []])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [1, 1]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 0], [1, 1]], [0, 2], [0], [[0], [], []])
離散結構核對=([[0, 0], [1, 1]], [0, 2], [0], [[0], [], []])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1], [1, 1]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 1], [1, 1]], [0, 2], [1], [[], [0], []])
離散結構核對=([[0, 1], [1, 1]], [0, 2], [1], [[], [0], []])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1], [1, 1]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 0], [0, 1], [1, 1]], [0, 2], [0, 1], [[0], [0], []])
離散結構核對=([[0, 0], [0, 1], [1, 1]], [0, 2], [0, 1], [[0], [0], []])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 2], [1, 1]]。來源子集列項=[2, 0]。答 (全正規關係對, 正規子集, R[子集], 限制到子集後按所有目標列的纖維)。
([[0, 2], [1, 1]], [0, 2], [2], [[], [], [0]])
離散結構核對=([[0, 2], [1, 1]], [0, 2], [2], [[], [], [0]])；全關係保留在首欄；像與纖維只篩第一分量落於子集的列。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-subset-image-fibers · candidate
明示Fin來源與目標，有序關係對。來源Fin(0)=∅，目標Fin(0)=∅，關係R的列項=[]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([0, 0], [0, 0], [], [], [], 是)
離散結構核對=([0, 0], [0, 0], [], [], [], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(2)=[0, 1]，目標Fin(0)=∅，關係R的列項=[]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([2, 0], [0, 2], [], [], [], 是)
離散結構核對=([2, 0], [0, 2], [], [], [], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(0)=∅，目標Fin(2)=[0, 1]，關係R的列項=[]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([0, 2], [2, 0], [], [], [], 是)
離散結構核對=([0, 2], [2, 0], [], [], [], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(2)=[0, 1]，目標Fin(2)=[0, 1]，關係R的列項=[[0, 0], [1, 1], [0, 0]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([2, 2], [2, 2], [[0, 0], [1, 1]], [[0, 0], [1, 1]], [[0, 0], [1, 1]], 是)
離散結構核對=([2, 2], [2, 2], [[0, 0], [1, 1]], [[0, 0], [1, 1]], [[0, 0], [1, 1]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(2)=[0, 1]，目標Fin(2)=[0, 1]，關係R的列項=[[0, 0], [0, 1]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([2, 2], [2, 2], [[0, 0], [0, 1]], [[0, 0], [1, 0]], [[0, 0], [0, 1]], 是)
離散結構核對=([2, 2], [2, 2], [[0, 0], [0, 1]], [[0, 0], [1, 0]], [[0, 0], [0, 1]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 0]], [[0, 0]], [[0, 0]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 0]], [[0, 0]], [[0, 0]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 1]], [[1, 0]], [[0, 1]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 1]], [[1, 0]], [[0, 1]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 0], [0, 1]], [[0, 0], [1, 0]], [[0, 0], [0, 1]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 0], [0, 1]], [[0, 0], [1, 0]], [[0, 0], [0, 1]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 2]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 2]], [[2, 0]], [[0, 2]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 2]], [[2, 0]], [[0, 2]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 2]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 0], [0, 2]], [[0, 0], [2, 0]], [[0, 0], [0, 2]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 0], [0, 2]], [[0, 0], [2, 0]], [[0, 0], [0, 2]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1], [0, 2]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 1], [0, 2]], [[1, 0], [2, 0]], [[0, 1], [0, 2]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 1], [0, 2]], [[1, 0], [2, 0]], [[0, 1], [0, 2]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1], [0, 2]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 0], [0, 1], [0, 2]], [[0, 0], [1, 0], [2, 0]], [[0, 0], [0, 1], [0, 2]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 0], [0, 1], [0, 2]], [[0, 0], [1, 0], [2, 0]], [[0, 0], [0, 1], [0, 2]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[1, 0]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[1, 0]], [[0, 1]], [[1, 0]], 是)
離散結構核對=([3, 3], [3, 3], [[1, 0]], [[0, 1]], [[1, 0]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [1, 0]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 0], [1, 0]], [[0, 0], [0, 1]], [[0, 0], [1, 0]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 0], [1, 0]], [[0, 0], [0, 1]], [[0, 0], [1, 0]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1], [1, 0]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 1], [1, 0]], [[0, 1], [1, 0]], [[0, 1], [1, 0]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 1], [1, 0]], [[0, 1], [1, 0]], [[0, 1], [1, 0]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1], [1, 0]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 0], [0, 1], [1, 0]], [[0, 0], [0, 1], [1, 0]], [[0, 0], [0, 1], [1, 0]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 0], [0, 1], [1, 0]], [[0, 0], [0, 1], [1, 0]], [[0, 0], [0, 1], [1, 0]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 2], [1, 0]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 2], [1, 0]], [[0, 1], [2, 0]], [[0, 2], [1, 0]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 2], [1, 0]], [[0, 1], [2, 0]], [[0, 2], [1, 0]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 2], [1, 0]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 0], [0, 2], [1, 0]], [[0, 0], [0, 1], [2, 0]], [[0, 0], [0, 2], [1, 0]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 0], [0, 2], [1, 0]], [[0, 0], [0, 1], [2, 0]], [[0, 0], [0, 2], [1, 0]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1], [0, 2], [1, 0]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 1], [0, 2], [1, 0]], [[0, 1], [1, 0], [2, 0]], [[0, 1], [0, 2], [1, 0]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 1], [0, 2], [1, 0]], [[0, 1], [1, 0], [2, 0]], [[0, 1], [0, 2], [1, 0]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1], [0, 2], [1, 0]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 0], [0, 1], [0, 2], [1, 0]], [[0, 0], [0, 1], [1, 0], [2, 0]], [[0, 0], [0, 1], [0, 2], [1, 0]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 0], [0, 1], [0, 2], [1, 0]], [[0, 0], [0, 1], [1, 0], [2, 0]], [[0, 0], [0, 1], [0, 2], [1, 0]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[1, 1]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[1, 1]], [[1, 1]], [[1, 1]], 是)
離散結構核對=([3, 3], [3, 3], [[1, 1]], [[1, 1]], [[1, 1]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [1, 1]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 0], [1, 1]], [[0, 0], [1, 1]], [[0, 0], [1, 1]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 0], [1, 1]], [[0, 0], [1, 1]], [[0, 0], [1, 1]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1], [1, 1]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 1], [1, 1]], [[1, 0], [1, 1]], [[0, 1], [1, 1]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 1], [1, 1]], [[1, 0], [1, 1]], [[0, 1], [1, 1]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1], [1, 1]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 0], [0, 1], [1, 1]], [[0, 0], [1, 0], [1, 1]], [[0, 0], [0, 1], [1, 1]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 0], [0, 1], [1, 1]], [[0, 0], [1, 0], [1, 1]], [[0, 0], [0, 1], [1, 1]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 2], [1, 1]]。答 ([n,m], [m,n], 正規原關係對, 逆關係對, 再交換一次的對, 往返相等資格)。
([3, 3], [3, 3], [[0, 2], [1, 1]], [[1, 1], [2, 0]], [[0, 2], [1, 1]], 是)
離散結構核對=([3, 3], [3, 3], [[0, 2], [1, 1]], [[1, 1], [2, 0]], [[0, 2], [1, 1]], 是)；每次交換有序對分量並交換型別，再按字典序列集合。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-inverse-double · candidate
明示Fin來源與目標，有序關係對。來源Fin(0)=∅，目標Fin(0)=∅，關係R的列項=[]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([0, 0], [], [], 是, 是, [])
離散結構核對=([0, 0], [], [], 是, 是, [])；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(2)=[0, 1]，目標Fin(0)=∅，關係R的列項=[]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([2, 0], [], [0, 0], 是, 否, 不是總函數)
離散結構核對=([2, 0], [], [0, 0], 是, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(0)=∅，目標Fin(2)=[0, 1]，關係R的列項=[]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([0, 2], [], [], 是, 是, [])
離散結構核對=([0, 2], [], [], 是, 是, [])；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(2)=[0, 1]，目標Fin(2)=[0, 1]，關係R的列項=[[0, 0], [1, 1], [0, 0]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([2, 2], [[0, 0], [1, 1]], [1, 1], 是, 是, [0, 1])
離散結構核對=([2, 2], [[0, 0], [1, 1]], [1, 1], 是, 是, [0, 1])；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(2)=[0, 1]，目標Fin(2)=[0, 1]，關係R的列項=[[0, 0], [0, 1]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([2, 2], [[0, 0], [0, 1]], [2, 0], 否, 否, 不是總函數)
離散結構核對=([2, 2], [[0, 0], [0, 1]], [2, 0], 否, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 0]], [1, 0, 0], 是, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 0]], [1, 0, 0], 是, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 1]], [1, 0, 0], 是, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 1]], [1, 0, 0], 是, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 0], [0, 1]], [2, 0, 0], 否, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 0], [0, 1]], [2, 0, 0], 否, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 2]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 2]], [1, 0, 0], 是, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 2]], [1, 0, 0], 是, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 2]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 0], [0, 2]], [2, 0, 0], 否, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 0], [0, 2]], [2, 0, 0], 否, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1], [0, 2]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 1], [0, 2]], [2, 0, 0], 否, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 1], [0, 2]], [2, 0, 0], 否, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1], [0, 2]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 0], [0, 1], [0, 2]], [3, 0, 0], 否, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 0], [0, 1], [0, 2]], [3, 0, 0], 否, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[1, 0]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[1, 0]], [0, 1, 0], 是, 否, 不是總函數)
離散結構核對=([3, 3], [[1, 0]], [0, 1, 0], 是, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [1, 0]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 0], [1, 0]], [1, 1, 0], 是, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 0], [1, 0]], [1, 1, 0], 是, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1], [1, 0]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 1], [1, 0]], [1, 1, 0], 是, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 1], [1, 0]], [1, 1, 0], 是, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1], [1, 0]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 0], [0, 1], [1, 0]], [2, 1, 0], 否, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 0], [0, 1], [1, 0]], [2, 1, 0], 否, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 2], [1, 0]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 2], [1, 0]], [1, 1, 0], 是, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 2], [1, 0]], [1, 1, 0], 是, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 2], [1, 0]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 0], [0, 2], [1, 0]], [2, 1, 0], 否, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 0], [0, 2], [1, 0]], [2, 1, 0], 否, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1], [0, 2], [1, 0]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 1], [0, 2], [1, 0]], [2, 1, 0], 否, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 1], [0, 2], [1, 0]], [2, 1, 0], 否, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1], [0, 2], [1, 0]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 0], [0, 1], [0, 2], [1, 0]], [3, 1, 0], 否, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 0], [0, 1], [0, 2], [1, 0]], [3, 1, 0], 否, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[1, 1]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[1, 1]], [0, 1, 0], 是, 否, 不是總函數)
離散結構核對=([3, 3], [[1, 1]], [0, 1, 0], 是, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [1, 1]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 0], [1, 1]], [1, 1, 0], 是, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 0], [1, 1]], [1, 1, 0], 是, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 1], [1, 1]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 1], [1, 1]], [1, 1, 0], 是, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 1], [1, 1]], [1, 1, 0], 是, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 0], [0, 1], [1, 1]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 0], [0, 1], [1, 1]], [2, 1, 0], 否, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 0], [0, 1], [1, 1]], [2, 1, 0], 否, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate
明示Fin來源與目標，有序關係對。來源Fin(3)=[0, 1, 2]，目標Fin(3)=[0, 1, 2]，關係R的列項=[[0, 2], [1, 1]]。答 ([n,m], 正規關係對, 每個來源纖維大小, 單值資格, 每來源恰一值的總函數資格, 總表或不是總函數)。空來源的逐項條件按真處理。
([3, 3], [[0, 2], [1, 1]], [1, 1, 0], 是, 否, 不是總函數)
離散結構核對=([3, 3], [[0, 2], [1, 1]], [1, 1, 0], 是, 否, 不是總函數)；每個來源最多一值才單值，每個來源恰一值才可列總表。；有限精確核對不是一般形式證明；逆關係不自動是反函數；關係不必是總函數；重複列項按集合正規化。
二元關係與集合投影 · qf-density17-relation-single-valued-total · candidate