切空间中定义的函数芽：
在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）。