定義域と終域が違う場合は恒等写像と言わないの？

定義域と終域が違う場合は恒等写像と言わないの？at MATH

定義域と終域が違う場合は恒等写像と言わないの？ - 暇つぶし2ch1:１３２人目の素数さん
24/11/03 16:38:42.27 bse70axp.net
f: X→X, f(x) = x (∀x∈X)は恒等写像

Y⊂≠X, g: Y→X, g(x) = x (∀x∈Y)は恒等写像ではない？