本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261013-advance-20261026-r07-equivalence-relation-foundations · 2026-10-13 · 100 題
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[1,1],[2,2],[3,3],[4,4],[5,5],[0,1]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [0], 否)
結構深度核對=(6, [0], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[2,2],[3,3],[4,4],[5,5],[0,2]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [1], 否)
結構深度核對=(6, [1], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[3,3],[4,4],[5,5],[0,1],[0,2]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [2], 否)
結構深度核對=(6, [2], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[4,4],[5,5],[0,3]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [3], 否)
結構深度核對=(6, [3], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[5,5],[0,1],[0,3]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [4], 否)
結構深度核對=(6, [4], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[0,2],[0,3]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [5], 否)
結構深度核對=(6, [5], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[0,3]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [0], 否)
結構深度核對=(6, [0], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[2,2],[3,3],[4,4],[5,5],[0,4]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [1], 否)
結構深度核對=(6, [1], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[3,3],[4,4],[5,5],[0,1],[0,4]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [2], 否)
結構深度核對=(6, [2], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[4,4],[5,5],[0,2],[0,4]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [3], 否)
結構深度核對=(6, [3], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[5,5],[0,1],[0,2],[0,4]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [4], 否)
結構深度核對=(6, [4], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[0,3],[0,4]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [5], 否)
結構深度核對=(6, [5], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,3],[0,4]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [0], 否)
結構深度核對=(6, [0], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[2,2],[3,3],[4,4],[5,5],[0,2],[0,3],[0,4]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [1], 否)
結構深度核對=(6, [1], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[3,3],[4,4],[5,5],[0,1],[0,2],[0,3],[0,4]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [2], 否)
結構深度核對=(6, [2], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[4,4],[5,5],[0,5]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [3], 否)
結構深度核對=(6, [3], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[5,5],[0,1],[0,5]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [4], 否)
結構深度核對=(6, [4], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[0,2],[0,5]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [5], 否)
結構深度核對=(6, [5], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[0,5]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [0], 否)
結構深度核對=(6, [0], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[2,2],[3,3],[4,4],[5,5],[0,3],[0,5]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [1], 否)
結構深度核對=(6, [1], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[3,3],[4,4],[5,5],[0,1],[0,3],[0,5]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [2], 否)
結構深度核對=(6, [2], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[4,4],[5,5],[0,2],[0,3],[0,5]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [3], 否)
結構深度核對=(6, [3], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[5,5],[0,1],[0,2],[0,3],[0,5]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [4], 否)
結構深度核對=(6, [4], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[0,4],[0,5]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [5], 否)
結構深度核對=(6, [5], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-reflexivity-audit；資料={"n":6,"pairs":[[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,4],[0,5]]}。請依 [n,missing_diagonal,reflexive] 欄序回答。
(6, [0], 否)
結構深度核對=(6, [0], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-reflexivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[1,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [], 是)
結構深度核對=(6, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,2]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 2]], 否)
結構深度核對=(6, [[0, 2]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[2,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 1]], 否)
結構深度核對=(6, [[0, 1]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,3],[3,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [], 是)
結構深度核對=(6, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,3]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 1], [0, 3]], 否)
結構深度核對=(6, [[0, 1], [0, 3]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,2],[0,3],[3,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 2]], 否)
結構深度核對=(6, [[0, 2]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[0,3],[1,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 2], [0, 3]], 否)
結構深度核對=(6, [[0, 2], [0, 3]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,4]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 4]], 否)
結構深度核對=(6, [[0, 4]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,4],[4,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 1]], 否)
結構深度核對=(6, [[0, 1]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,2],[0,4],[2,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 4]], 否)
結構深度核對=(6, [[0, 4]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[0,4],[4,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 1], [0, 2]], 否)
結構深度核對=(6, [[0, 1], [0, 2]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,3],[0,4],[4,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 3]], 否)
結構深度核對=(6, [[0, 3]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,3],[0,4],[1,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 3], [0, 4]], 否)
結構深度核對=(6, [[0, 3], [0, 4]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,2],[0,3],[0,4],[4,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 2], [0, 3]], 否)
結構深度核對=(6, [[0, 2], [0, 3]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[0,3],[0,4],[2,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 1], [0, 3], [0, 4]], 否)
結構深度核對=(6, [[0, 1], [0, 3], [0, 4]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,5],[5,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [], 是)
結構深度核對=(6, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,5]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 1], [0, 5]], 否)
結構深度核對=(6, [[0, 1], [0, 5]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,2],[0,5],[5,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 2]], 否)
結構深度核對=(6, [[0, 2]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[0,5],[1,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 2], [0, 5]], 否)
結構深度核對=(6, [[0, 2], [0, 5]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,3],[0,5]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 3], [0, 5]], 否)
結構深度核對=(6, [[0, 3], [0, 5]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,3],[0,5],[3,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 1], [0, 5]], 否)
結構深度核對=(6, [[0, 1], [0, 5]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,2],[0,3],[0,5],[2,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 3], [0, 5]], 否)
結構深度核對=(6, [[0, 3], [0, 5]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[0,3],[0,5],[3,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 1], [0, 2], [0, 5]], 否)
結構深度核對=(6, [[0, 1], [0, 2], [0, 5]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,4],[0,5],[5,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 4]], 否)
結構深度核對=(6, [[0, 4]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-symmetry-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,4],[0,5],[1,0]]}。請依 [n,missing_reverses,symmetric] 欄序回答。
(6, [[0, 4], [0, 5]], 否)
結構深度核對=(6, [[0, 4], [0, 5]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-symmetry-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[1,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [], 是)
結構深度核對=(6, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,2]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [], 是)
結構深度核對=(6, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[1,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[1, 0, 2]], 否)
結構深度核對=(6, [[1, 0, 2]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,3]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [], 是)
結構深度核對=(6, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,3],[1,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[1, 0, 3]], 否)
結構深度核對=(6, [[1, 0, 3]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,2],[0,3],[3,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[3, 0, 2]], 否)
結構深度核對=(6, [[3, 0, 2]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[0,3],[1,0],[3,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[1, 0, 2], [1, 0, 3], [3, 0, 1], [3, 0, 2]], 否)
結構深度核對=(6, [[1, 0, 2], [1, 0, 3], [3, 0, 1], [3, 0, 2]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,4]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [], 是)
結構深度核對=(6, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,4],[1,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[1, 0, 4]], 否)
結構深度核對=(6, [[1, 0, 4]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,2],[0,4],[4,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[4, 0, 2]], 否)
結構深度核對=(6, [[4, 0, 2]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[0,4],[1,0],[4,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[1, 0, 2], [1, 0, 4], [4, 0, 1], [4, 0, 2]], 否)
結構深度核對=(6, [[1, 0, 2], [1, 0, 4], [4, 0, 1], [4, 0, 2]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,3],[0,4],[4,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[4, 0, 3]], 否)
結構深度核對=(6, [[4, 0, 3]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,3],[0,4],[1,0],[4,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[1, 0, 3], [1, 0, 4], [4, 0, 1], [4, 0, 3]], 否)
結構深度核對=(6, [[1, 0, 3], [1, 0, 4], [4, 0, 1], [4, 0, 3]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,2],[0,3],[0,4],[3,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[3, 0, 2], [3, 0, 4]], 否)
結構深度核對=(6, [[3, 0, 2], [3, 0, 4]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[0,3],[0,4],[1,0],[3,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[1, 0, 2], [1, 0, 3], [1, 0, 4], [3, 0, 1], [3, 0, 2], [3, 0, 4]], 否)
結構深度核對=(6, [[1, 0, 2], [1, 0, 3], [1, 0, 4], [3, 0, 1], [3, 0, 2], [3, 0, 4]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,5]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [], 是)
結構深度核對=(6, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,5],[1,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[1, 0, 5]], 否)
結構深度核對=(6, [[1, 0, 5]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,2],[0,5],[5,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[5, 0, 2]], 否)
結構深度核對=(6, [[5, 0, 2]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[0,5],[1,0],[5,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[1, 0, 2], [1, 0, 5], [5, 0, 1], [5, 0, 2]], 否)
結構深度核對=(6, [[1, 0, 2], [1, 0, 5], [5, 0, 1], [5, 0, 2]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,3],[0,5],[5,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[5, 0, 3]], 否)
結構深度核對=(6, [[5, 0, 3]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,3],[0,5],[1,0],[5,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[1, 0, 3], [1, 0, 5], [5, 0, 1], [5, 0, 3]], 否)
結構深度核對=(6, [[1, 0, 3], [1, 0, 5], [5, 0, 1], [5, 0, 3]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,2],[0,3],[0,5],[3,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[3, 0, 2], [3, 0, 5]], 否)
結構深度核對=(6, [[3, 0, 2], [3, 0, 5]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[0,3],[0,5],[1,0],[3,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[1, 0, 2], [1, 0, 3], [1, 0, 5], [3, 0, 1], [3, 0, 2], [3, 0, 5]], 否)
結構深度核對=(6, [[1, 0, 2], [1, 0, 3], [1, 0, 5], [3, 0, 1], [3, 0, 2], [3, 0, 5]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,4],[0,5],[5,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[5, 0, 4]], 否)
結構深度核對=(6, [[5, 0, 4]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-transitivity-audit；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,4],[0,5],[1,0],[5,0]]}。請依 [n,missing_transitive_pairs,transitive] 欄序回答。
(6, [[1, 0, 4], [1, 0, 5], [5, 0, 1], [5, 0, 4]], 否)
結構深度核對=(6, [[1, 0, 4], [1, 0, 5], [5, 0, 1], [5, 0, 4]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-transitivity-audit · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [], [], 是, [[0], [1], [2], [3], [4], [5]])
結構深度核對=(6, [], [], [], 是, [[0], [1], [2], [3], [4], [5]])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[0,1],[0,2],[0,3],[0,4],[0,5],[1,0],[1,1],[1,2],[1,3],[1,4],[1,5],[2,0],[2,1],[2,2],[2,3],[2,4],[2,5],[3,0],[3,1],[3,2],[3,3],[3,4],[3,5],[4,0],[4,1],[4,2],[4,3],[4,4],[4,5],[5,0],[5,1],[5,2],[5,3],[5,4],[5,5]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [], [], 是, [[0, 1, 2, 3, 4, 5]])
結構深度核對=(6, [], [], [], 是, [[0, 1, 2, 3, 4, 5]])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[0,1],[1,0],[1,1],[2,2],[2,3],[3,2],[3,3],[4,4],[4,5],[5,4],[5,5]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [], [], 是, [[0, 1], [2, 3], [4, 5]])
結構深度核對=(6, [], [], [], 是, [[0, 1], [2, 3], [4, 5]])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[0,1],[0,2],[1,0],[1,1],[1,2],[2,0],[2,1],[2,2],[3,3],[3,4],[3,5],[4,3],[4,4],[4,5],[5,3],[5,4],[5,5]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [], [], 是, [[0, 1, 2], [3, 4, 5]])
結構深度核對=(6, [], [], [], 是, [[0, 1, 2], [3, 4, 5]])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[0,2],[1,1],[1,3],[2,0],[2,2],[3,1],[3,3],[4,4],[4,5],[5,4],[5,5]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [], [], 是, [[0, 2], [1, 3], [4, 5]])
結構深度核對=(6, [], [], [], 是, [[0, 2], [1, 3], [4, 5]])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,2],[0,3]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 2], [0, 3]], [], 否, [])
結構深度核對=(6, [], [[0, 2], [0, 3]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[0,3]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 1], [0, 2], [0, 3]], [], 否, [])
結構深度核對=(6, [], [[0, 1], [0, 2], [0, 3]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,4]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 4]], [], 否, [])
結構深度核對=(6, [], [[0, 4]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,4]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 1], [0, 4]], [], 否, [])
結構深度核對=(6, [], [[0, 1], [0, 4]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,2],[0,4]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 2], [0, 4]], [], 否, [])
結構深度核對=(6, [], [[0, 2], [0, 4]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[0,4]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 1], [0, 2], [0, 4]], [], 否, [])
結構深度核對=(6, [], [[0, 1], [0, 2], [0, 4]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,3],[0,4]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 3], [0, 4]], [], 否, [])
結構深度核對=(6, [], [[0, 3], [0, 4]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,3],[0,4]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 1], [0, 3], [0, 4]], [], 否, [])
結構深度核對=(6, [], [[0, 1], [0, 3], [0, 4]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,2],[0,3],[0,4]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 2], [0, 3], [0, 4]], [], 否, [])
結構深度核對=(6, [], [[0, 2], [0, 3], [0, 4]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[0,3],[0,4]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 1], [0, 2], [0, 3], [0, 4]], [], 否, [])
結構深度核對=(6, [], [[0, 1], [0, 2], [0, 3], [0, 4]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,5]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 5]], [], 否, [])
結構深度核對=(6, [], [[0, 5]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,5]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 1], [0, 5]], [], 否, [])
結構深度核對=(6, [], [[0, 1], [0, 5]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,2],[0,5]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 2], [0, 5]], [], 否, [])
結構深度核對=(6, [], [[0, 2], [0, 5]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[0,5]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 1], [0, 2], [0, 5]], [], 否, [])
結構深度核對=(6, [], [[0, 1], [0, 2], [0, 5]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,3],[0,5]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 3], [0, 5]], [], 否, [])
結構深度核對=(6, [], [[0, 3], [0, 5]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,3],[0,5]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 1], [0, 3], [0, 5]], [], 否, [])
結構深度核對=(6, [], [[0, 1], [0, 3], [0, 5]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,2],[0,3],[0,5]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 2], [0, 3], [0, 5]], [], 否, [])
結構深度核對=(6, [], [[0, 2], [0, 3], [0, 5]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,2],[0,3],[0,5]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 1], [0, 2], [0, 3], [0, 5]], [], 否, [])
結構深度核對=(6, [], [[0, 1], [0, 2], [0, 3], [0, 5]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,4],[0,5]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 4], [0, 5]], [], 否, [])
結構深度核對=(6, [], [[0, 4], [0, 5]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate
固定完整有限載體與關係對集合。操作=equiv-qualification-classes；資料={"n":6,"pairs":[[0,0],[1,1],[2,2],[3,3],[4,4],[5,5],[0,1],[0,4],[0,5]]}。請依 [n,missing_reflexive,missing_symmetric,missing_transitive,equivalence,classes] 欄序回答。
(6, [], [[0, 1], [0, 4], [0, 5]], [], 否, [])
結構深度核對=(6, [], [[0, 1], [0, 4], [0, 5]], [], 否, [])；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；反身對稱傳遞三責任分開；類別只在完整等價資格後輸出。
等價關係 · qf-mod26-equiv-qualification-classes · candidate