そうそう。
むしろ >>292 で「f(x)|A は (flA)(x) と書きたかったんじゃないの？」
というツッコミが無い方が気になる。
f(x)|A が「制限」を表すなら、「fの値が写像」の「やや高級な」
話になるけど、>>292 の意図はそうだったんだろうか。