1. 二元關係的有序對成員
二元關係的來源 A=∅、目標 B=∅,R=∅⊆A×B。有序對 (0, 1) 是否屬於 R?
查看答案與解釋
否
(0, 1)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
本批已通過 Schema、去重、來源快照與獨立答案重算;仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留;AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261003-advance-20261004-r03-relation-foundations · 2026-10-03 · 100 題
二元關係的來源 A=∅、目標 B=∅,R=∅⊆A×B。有序對 (0, 1) 是否屬於 R?
否
(0, 1)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={0}、目標 B={1},R=∅⊆A×B。有序對 (1, 0) 是否屬於 R?
否
(1, 0)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={-10, -9, -8}、目標 B={-6, -5, -4},R={(-10, -6), (-10, -5)}⊆A×B。有序對 (-8, -6) 是否屬於 R?
否
(-8, -6)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={-9, -8, -7}、目標 B={-5, -4, -3},R={(-9, -4), (-8, -4)}⊆A×B。有序對 (-9, -4) 是否屬於 R?
是
(-9, -4)∈R=是。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={-8, -7, -6}、目標 B={-4, -3, -2},R={(-8, -4), (-7, -3), (-6, -2)}⊆A×B。有序對 (-4, -8) 是否屬於 R?
否
(-4, -8)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={-7, -6, -5}、目標 B={-3, -2, -1},R={(-6, -3), (-5, -2)}⊆A×B。有序對 (-5, -3) 是否屬於 R?
否
(-5, -3)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={-6, -5, -4}、目標 B={-2, -1, 0},R=∅⊆A×B。有序對 (-6, -2) 是否屬於 R?
否
(-6, -2)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={-5, -4, -3}、目標 B={-1, 0, 1},R={(-5, -1)}⊆A×B。有序對 (-1, -5) 是否屬於 R?
否
(-1, -5)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={-4, -3, -2}、目標 B={0, 1, 2},R={(-4, 0), (-4, 1)}⊆A×B。有序對 (-2, 0) 是否屬於 R?
否
(-2, 0)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={-3, -2, -1}、目標 B={1, 2, 3},R={(-3, 2), (-2, 2)}⊆A×B。有序對 (-3, 2) 是否屬於 R?
是
(-3, 2)∈R=是。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={-2, -1, 0}、目標 B={2, 3, 4},R={(-2, 2), (-1, 3), (0, 4)}⊆A×B。有序對 (2, -2) 是否屬於 R?
否
(2, -2)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={-1, 0, 1}、目標 B={3, 4, 5},R={(0, 3), (1, 4)}⊆A×B。有序對 (1, 3) 是否屬於 R?
否
(1, 3)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={0, 1, 2}、目標 B={4, 5, 6},R=∅⊆A×B。有序對 (0, 4) 是否屬於 R?
否
(0, 4)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={1, 2, 3}、目標 B={5, 6, 7},R={(1, 5)}⊆A×B。有序對 (5, 1) 是否屬於 R?
否
(5, 1)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={2, 3, 4}、目標 B={6, 7, 8},R={(2, 6), (2, 7)}⊆A×B。有序對 (4, 6) 是否屬於 R?
否
(4, 6)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={3, 4, 5}、目標 B={7, 8, 9},R={(3, 8), (4, 8)}⊆A×B。有序對 (3, 8) 是否屬於 R?
是
(3, 8)∈R=是。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={4, 5, 6}、目標 B={8, 9, 10},R={(4, 8), (5, 9), (6, 10)}⊆A×B。有序對 (8, 4) 是否屬於 R?
否
(8, 4)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={5, 6, 7}、目標 B={9, 10, 11},R={(6, 9), (7, 10)}⊆A×B。有序對 (7, 9) 是否屬於 R?
否
(7, 9)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={6, 7, 8}、目標 B={10, 11, 12},R=∅⊆A×B。有序對 (6, 10) 是否屬於 R?
否
(6, 10)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={7, 8, 9}、目標 B={11, 12, 13},R={(7, 11)}⊆A×B。有序對 (11, 7) 是否屬於 R?
否
(11, 7)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={8, 9, 10}、目標 B={12, 13, 14},R={(8, 12), (8, 13)}⊆A×B。有序對 (10, 12) 是否屬於 R?
否
(10, 12)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={9, 10, 11}、目標 B={13, 14, 15},R={(9, 14), (10, 14)}⊆A×B。有序對 (9, 14) 是否屬於 R?
是
(9, 14)∈R=是。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={10, 11, 12}、目標 B={14, 15, 16},R={(10, 14), (11, 15), (12, 16)}⊆A×B。有序對 (14, 10) 是否屬於 R?
否
(14, 10)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={11, 12, 13}、目標 B={15, 16, 17},R={(12, 15), (13, 16)}⊆A×B。有序對 (13, 15) 是否屬於 R?
否
(13, 15)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A={12, 13, 14}、目標 B={16, 17, 18},R=∅⊆A×B。有序對 (12, 16) 是否屬於 R?
否
(12, 16)∈R=否。逐一核對完整有序對及方向,不能自行交換兩分量。
二元關係與集合投影 · qf-relation-pair-membership · candidate
二元關係的來源 A=∅、目標 B=∅,R=∅⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
∅
Dom(R)=∅。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={0}、目標 B={1},R=∅⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
∅
Dom(R)=∅。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={-10, -9, -8}、目標 B={-6, -5, -4},R={(-10, -6), (-10, -5)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{-10}
Dom(R)={-10}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={-9, -8, -7}、目標 B={-5, -4, -3},R={(-9, -4), (-8, -4)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{-9, -8}
Dom(R)={-9, -8}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={-8, -7, -6}、目標 B={-4, -3, -2},R={(-8, -4), (-7, -3), (-6, -2)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{-8, -7, -6}
Dom(R)={-8, -7, -6}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={-7, -6, -5}、目標 B={-3, -2, -1},R={(-6, -3), (-5, -2)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{-6, -5}
Dom(R)={-6, -5}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={-6, -5, -4}、目標 B={-2, -1, 0},R=∅⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
∅
Dom(R)=∅。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={-5, -4, -3}、目標 B={-1, 0, 1},R={(-5, -1)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{-5}
Dom(R)={-5}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={-4, -3, -2}、目標 B={0, 1, 2},R={(-4, 0), (-4, 1)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{-4}
Dom(R)={-4}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={-3, -2, -1}、目標 B={1, 2, 3},R={(-3, 2), (-2, 2)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{-3, -2}
Dom(R)={-3, -2}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={-2, -1, 0}、目標 B={2, 3, 4},R={(-2, 2), (-1, 3), (0, 4)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{-2, -1, 0}
Dom(R)={-2, -1, 0}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={-1, 0, 1}、目標 B={3, 4, 5},R={(0, 3), (1, 4)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{0, 1}
Dom(R)={0, 1}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={0, 1, 2}、目標 B={4, 5, 6},R=∅⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
∅
Dom(R)=∅。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={1, 2, 3}、目標 B={5, 6, 7},R={(1, 5)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{1}
Dom(R)={1}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={2, 3, 4}、目標 B={6, 7, 8},R={(2, 6), (2, 7)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{2}
Dom(R)={2}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={3, 4, 5}、目標 B={7, 8, 9},R={(3, 8), (4, 8)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{3, 4}
Dom(R)={3, 4}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={4, 5, 6}、目標 B={8, 9, 10},R={(4, 8), (5, 9), (6, 10)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{4, 5, 6}
Dom(R)={4, 5, 6}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={5, 6, 7}、目標 B={9, 10, 11},R={(6, 9), (7, 10)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{6, 7}
Dom(R)={6, 7}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={6, 7, 8}、目標 B={10, 11, 12},R=∅⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
∅
Dom(R)=∅。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={7, 8, 9}、目標 B={11, 12, 13},R={(7, 11)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{7}
Dom(R)={7}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={8, 9, 10}、目標 B={12, 13, 14},R={(8, 12), (8, 13)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{8}
Dom(R)={8}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={9, 10, 11}、目標 B={13, 14, 15},R={(9, 14), (10, 14)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{9, 10}
Dom(R)={9, 10}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={10, 11, 12}、目標 B={14, 15, 16},R={(10, 14), (11, 15), (12, 16)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{10, 11, 12}
Dom(R)={10, 11, 12}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={11, 12, 13}、目標 B={15, 16, 17},R={(12, 15), (13, 16)}⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
{12, 13}
Dom(R)={12, 13}。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A={12, 13, 14}、目標 B={16, 17, 18},R=∅⊆A×B。求實際關係定義域 Dom(R),輸出遞增且元素只列一次。
∅
Dom(R)=∅。只收集 R 中實際出現的第一分量,不把宣告來源 A 自動當成第一投影。
二元關係與集合投影 · qf-relation-domain-projection · candidate
二元關係的來源 A=∅、目標 B=∅,R=∅⊆A×B。明示 C=∅⊆A,求 R[C] 的遞增、無重複集合。
∅
R[C]=∅。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={0}、目標 B={1},R=∅⊆A×B。明示 C={0}⊆A,求 R[C] 的遞增、無重複集合。
∅
R[C]=∅。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={-10, -9, -8}、目標 B={-6, -5, -4},R={(-10, -6), (-10, -5)}⊆A×B。明示 C={-10}⊆A,求 R[C] 的遞增、無重複集合。
{-6, -5}
R[C]={-6, -5}。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={-9, -8, -7}、目標 B={-5, -4, -3},R={(-9, -4), (-8, -4)}⊆A×B。明示 C={-8, -7}⊆A,求 R[C] 的遞增、無重複集合。
{-4}
R[C]={-4}。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={-8, -7, -6}、目標 B={-4, -3, -2},R={(-8, -4), (-7, -3), (-6, -2)}⊆A×B。明示 C=∅⊆A,求 R[C] 的遞增、無重複集合。
∅
R[C]=∅。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={-7, -6, -5}、目標 B={-3, -2, -1},R={(-6, -3), (-5, -2)}⊆A×B。明示 C={-7, -6, -5}⊆A,求 R[C] 的遞增、無重複集合。
{-3, -2}
R[C]={-3, -2}。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={-6, -5, -4}、目標 B={-2, -1, 0},R=∅⊆A×B。明示 C={-6}⊆A,求 R[C] 的遞增、無重複集合。
∅
R[C]=∅。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={-5, -4, -3}、目標 B={-1, 0, 1},R={(-5, -1)}⊆A×B。明示 C={-4, -3}⊆A,求 R[C] 的遞增、無重複集合。
∅
R[C]=∅。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={-4, -3, -2}、目標 B={0, 1, 2},R={(-4, 0), (-4, 1)}⊆A×B。明示 C=∅⊆A,求 R[C] 的遞增、無重複集合。
∅
R[C]=∅。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={-3, -2, -1}、目標 B={1, 2, 3},R={(-3, 2), (-2, 2)}⊆A×B。明示 C={-3, -2, -1}⊆A,求 R[C] 的遞增、無重複集合。
{2}
R[C]={2}。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={-2, -1, 0}、目標 B={2, 3, 4},R={(-2, 2), (-1, 3), (0, 4)}⊆A×B。明示 C={-2}⊆A,求 R[C] 的遞增、無重複集合。
{2}
R[C]={2}。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={-1, 0, 1}、目標 B={3, 4, 5},R={(0, 3), (1, 4)}⊆A×B。明示 C={0, 1}⊆A,求 R[C] 的遞增、無重複集合。
{3, 4}
R[C]={3, 4}。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={0, 1, 2}、目標 B={4, 5, 6},R=∅⊆A×B。明示 C=∅⊆A,求 R[C] 的遞增、無重複集合。
∅
R[C]=∅。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={1, 2, 3}、目標 B={5, 6, 7},R={(1, 5)}⊆A×B。明示 C={1, 2, 3}⊆A,求 R[C] 的遞增、無重複集合。
{5}
R[C]={5}。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={2, 3, 4}、目標 B={6, 7, 8},R={(2, 6), (2, 7)}⊆A×B。明示 C={2}⊆A,求 R[C] 的遞增、無重複集合。
{6, 7}
R[C]={6, 7}。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={3, 4, 5}、目標 B={7, 8, 9},R={(3, 8), (4, 8)}⊆A×B。明示 C={4, 5}⊆A,求 R[C] 的遞增、無重複集合。
{8}
R[C]={8}。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={4, 5, 6}、目標 B={8, 9, 10},R={(4, 8), (5, 9), (6, 10)}⊆A×B。明示 C=∅⊆A,求 R[C] 的遞增、無重複集合。
∅
R[C]=∅。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={5, 6, 7}、目標 B={9, 10, 11},R={(6, 9), (7, 10)}⊆A×B。明示 C={5, 6, 7}⊆A,求 R[C] 的遞增、無重複集合。
{9, 10}
R[C]={9, 10}。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={6, 7, 8}、目標 B={10, 11, 12},R=∅⊆A×B。明示 C={6}⊆A,求 R[C] 的遞增、無重複集合。
∅
R[C]=∅。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={7, 8, 9}、目標 B={11, 12, 13},R={(7, 11)}⊆A×B。明示 C={8, 9}⊆A,求 R[C] 的遞增、無重複集合。
∅
R[C]=∅。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={8, 9, 10}、目標 B={12, 13, 14},R={(8, 12), (8, 13)}⊆A×B。明示 C=∅⊆A,求 R[C] 的遞增、無重複集合。
∅
R[C]=∅。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={9, 10, 11}、目標 B={13, 14, 15},R={(9, 14), (10, 14)}⊆A×B。明示 C={9, 10, 11}⊆A,求 R[C] 的遞增、無重複集合。
{14}
R[C]={14}。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={10, 11, 12}、目標 B={14, 15, 16},R={(10, 14), (11, 15), (12, 16)}⊆A×B。明示 C={10}⊆A,求 R[C] 的遞增、無重複集合。
{14}
R[C]={14}。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={11, 12, 13}、目標 B={15, 16, 17},R={(12, 15), (13, 16)}⊆A×B。明示 C={12, 13}⊆A,求 R[C] 的遞增、無重複集合。
{15, 16}
R[C]={15, 16}。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A={12, 13, 14}、目標 B={16, 17, 18},R=∅⊆A×B。明示 C=∅⊆A,求 R[C] 的遞增、無重複集合。
∅
R[C]=∅。選第一分量在 C 的所有關係對,再收集第二分量;不要求每個輸入只有一個輸出。
二元關係與集合投影 · qf-relation-subset-image · candidate
二元關係的來源 A=∅、目標 B=∅,R=∅⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
∅
R⁻¹=∅。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={0}、目標 B={1},R=∅⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
∅
R⁻¹=∅。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={-10, -9, -8}、目標 B={-6, -5, -4},R={(-10, -6), (-10, -5)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(-6, -10), (-5, -10)}
R⁻¹={(-6, -10), (-5, -10)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={-9, -8, -7}、目標 B={-5, -4, -3},R={(-9, -4), (-8, -4)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(-4, -9), (-4, -8)}
R⁻¹={(-4, -9), (-4, -8)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={-8, -7, -6}、目標 B={-4, -3, -2},R={(-8, -4), (-7, -3), (-6, -2)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(-4, -8), (-3, -7), (-2, -6)}
R⁻¹={(-4, -8), (-3, -7), (-2, -6)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={-7, -6, -5}、目標 B={-3, -2, -1},R={(-6, -3), (-5, -2)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(-3, -6), (-2, -5)}
R⁻¹={(-3, -6), (-2, -5)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={-6, -5, -4}、目標 B={-2, -1, 0},R=∅⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
∅
R⁻¹=∅。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={-5, -4, -3}、目標 B={-1, 0, 1},R={(-5, -1)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(-1, -5)}
R⁻¹={(-1, -5)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={-4, -3, -2}、目標 B={0, 1, 2},R={(-4, 0), (-4, 1)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(0, -4), (1, -4)}
R⁻¹={(0, -4), (1, -4)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={-3, -2, -1}、目標 B={1, 2, 3},R={(-3, 2), (-2, 2)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(2, -3), (2, -2)}
R⁻¹={(2, -3), (2, -2)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={-2, -1, 0}、目標 B={2, 3, 4},R={(-2, 2), (-1, 3), (0, 4)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(2, -2), (3, -1), (4, 0)}
R⁻¹={(2, -2), (3, -1), (4, 0)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={-1, 0, 1}、目標 B={3, 4, 5},R={(0, 3), (1, 4)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(3, 0), (4, 1)}
R⁻¹={(3, 0), (4, 1)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={0, 1, 2}、目標 B={4, 5, 6},R=∅⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
∅
R⁻¹=∅。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={1, 2, 3}、目標 B={5, 6, 7},R={(1, 5)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(5, 1)}
R⁻¹={(5, 1)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={2, 3, 4}、目標 B={6, 7, 8},R={(2, 6), (2, 7)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(6, 2), (7, 2)}
R⁻¹={(6, 2), (7, 2)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={3, 4, 5}、目標 B={7, 8, 9},R={(3, 8), (4, 8)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(8, 3), (8, 4)}
R⁻¹={(8, 3), (8, 4)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={4, 5, 6}、目標 B={8, 9, 10},R={(4, 8), (5, 9), (6, 10)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(8, 4), (9, 5), (10, 6)}
R⁻¹={(8, 4), (9, 5), (10, 6)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={5, 6, 7}、目標 B={9, 10, 11},R={(6, 9), (7, 10)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(9, 6), (10, 7)}
R⁻¹={(9, 6), (10, 7)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={6, 7, 8}、目標 B={10, 11, 12},R=∅⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
∅
R⁻¹=∅。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={7, 8, 9}、目標 B={11, 12, 13},R={(7, 11)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(11, 7)}
R⁻¹={(11, 7)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={8, 9, 10}、目標 B={12, 13, 14},R={(8, 12), (8, 13)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(12, 8), (13, 8)}
R⁻¹={(12, 8), (13, 8)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={9, 10, 11}、目標 B={13, 14, 15},R={(9, 14), (10, 14)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(14, 9), (14, 10)}
R⁻¹={(14, 9), (14, 10)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={10, 11, 12}、目標 B={14, 15, 16},R={(10, 14), (11, 15), (12, 16)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(14, 10), (15, 11), (16, 12)}
R⁻¹={(14, 10), (15, 11), (16, 12)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={11, 12, 13}、目標 B={15, 16, 17},R={(12, 15), (13, 16)}⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
{(15, 12), (16, 13)}
R⁻¹={(15, 12), (16, 13)}。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate
二元關係的來源 A={12, 13, 14}、目標 B={16, 17, 18},R=∅⊆A×B。交換來源與目標後,逆關係 R⁻¹ 的規範有序對集合為何?
∅
R⁻¹=∅。每個 (x,y) 換成 (y,x),按第一、第二分量排序;逆關係不等於反函數。
二元關係與集合投影 · qf-relation-converse-set · candidate