数学上，在给定拓扑空间"X"上的一个层（sheaf）（或译束、捆）"F"对于"X"的每个开集给出一个集合或者一个更丰富的结构"F"("U")。这个结构"F"("U")和把开集"限制（restricting）"到更小的子集的操作相容，并且可以把小的开集"粘"起来得到更大的。一个预层（presheaf）和一个层相似，但它可能不可以粘起来。事实上，层使得我们可以用一种细致的方式讨论什么是"局部性质"，就像应用在"函数"上的层。
简介.层用于拓扑，代数几何和微分几何，只要想跟踪给定的几何空