定義域、陪域與值域總函數 f:A→B 的定義域是 A，陪域是 B，值域是實際取得的輸出集合 f[A]。atlas-domain-codomain-range · canonical_mko定義域、陪域與值域前置節點函數映射集合