代入原理って少し特別扱いされている印象を受けますね。Wikipedia には「どの自由変数 x」と述べていますが、定義域とかどうするんだろう的な。