ステートマシン図の「遷移の再定義（Transition Redefinition）」において、サブクラスで親クラスの遷移を拡張する際、変更できない要素は通常どれか。

遷移の再定義では、ソース状態は元の遷移と同じ（またはその内部）でなければならず、勝手に別の離れた状態に変更することは構造を破壊するため通常行わない（ターゲットは共変的に変更可能な場合がある）。