>>345
>これは幾何では、こういう流儀なのです。
らしいですね。多様体上の接ベクトル空間の定義の一つ
を解説したものに、よく似ています。