33中所属的等价类。
代数几何定义.如下定义采用代数几何和交换代数中的思想来建立射流和射流空间的概念。虽然这个定义不太适合代数几何本身，因为它属于光滑范畴，但也很容易修改为适合代数几何的使用的形式。令formula_36为光滑函数formula_28在formula_29中的点"p"的芽的向量空间。令formula_39为在"p"为零的函数的理想。(这是局部环 formula_36的极大理想。)则理想formula_41由所有在点"p"直到"k"阶导数全部为零的函数的芽组成。现