>>27
系:
特に、(V, ρ) = (V', ρ')のとき、fは恒等写像の定数倍である。