层 (数学)
數學上，在給定拓撲空間 X 上的一個層（sheaf）（或譯束、捆）F 對於 X 的每個開集給出一個集合或者一個更豐富的結構 F (U)。這個結構 F (U) 和把開集限制（restricting）到更小的子集的操作相容，並且可以把小的開集粘起來得到更大的。一個預層（presheaf）和一個層相似，但它可能不可以粘起來。事實上，層使得我們可以用一種細緻的方式討論什麼是局部性質，就像應用在函數上的層。