切空间中定义的函数芽：

在C（p，∞）中定义关系 ~ 如下：

设f、g∈C（p，∞） ，则f ~ g当且仅当存在点p的一个开领域H，

使得 f|H=g|H ，显然，~ 是C（p，∞） 中的等价关系，

我们用 [ f ] 记 f 在 C（p，∞）中的“~”等价类，

称为 流形M在点p的 C（p，∞）—函数芽（germ）。