若向量场可以理解为一个"n"维空间，其中对X内每一个点都有个附着的"n"维向量。给定两个定义于"X"上的"C"-向量场"F","G"以及一个定义于"X"上的"C"-实值函数"f"，可以定义以下运算如此便可定义在"C"函数的环上的"C"向量场的模。