护套

一捆是预切添加了“something”，允许我们在本地定义事物。一般情况下，预升禁止执行此任务。具体地说，一个预兆在上拓扑空间 如果满足以下条件，则为层：

1.如果是一个开集，如果是一个开放的覆盖如果是这样一个元素：为所有人，然后.

2.如果是一个开集，如果是一个开放的覆盖如果我们有元素对于每个，每个属性，,,然后有一个元素这样的话为所有人.

第一个条件意味着是独一无二的。

例如，让在一片土地上变化多端.如果表示正则函数的环从到然后按照通常的限制是一个称为正则函数层的层在.

同样，可以在任何拓扑空间上定义连续实值函数的层，也可以对可微函数进行定义。