>>290
f(x)|x=aはただの「代入』
「制限」はf(x)|Aとか。