(参考) https://ja.wikipedia.org/wiki/%E9%96%A2%E6%95%B0_(%E6%95%B0%E5%AD%A6) 関数 函数 f の定義域 X と終域 Y を明示する目的では 矢印記法 f: X → Y (「f は X から Y への函数」「f は X の元を Y の元に写す」)が用いられる。
https://ja.wikipedia.org/wiki/%E5%B1%A4_(%E6%95%B0%E5%AD%A6) 層の茎 層 F の茎 F_x は、点 x ∈ X の「まわり」の層の性質を捕らえる。 ここに、「まわり」の意味は、概念的に言うと、その点のいくらでも小さい近傍を見るということであるが、もちろん、単独の近傍では十分小さくないので、ある種の極限をとらなければならない 茎は、与えられた点 x を含む X のすべての開集合上での帰納極限 によって定義される