概念導讀
實值函數圖形：成員判定與有限表格的總函數驗證
(一) 設 D=[0,2]、f:D→ℝ、f(x)=x²−1。先證明 (u,v)∈G_f ⇔ u∈D 且 v=f(u)，再判定 (1,0)、(−1,0)、(2,2)、(2,3) 是否在 G_f 上。(二) 設 D_0={0,1,2}、B={0,1,4}。證明一個集合 Γ 是某個總函數 D_0→B 的圖形，當且僅當 Γ⊆D_0×B 且每個輸入恰有一個輸出；據此判定 T={(0,0),(1,1),(2,4)} 是、而 T_1={(0,0),(2,4)}、T_2={(0,0),(1,1),(1,4),(2,4)}、T_3={(0,0),(1,1),(2,4),(3,9)} 都不是。