软层

软层是一种特殊的层。一个层(F,π,X) ，若对 X 的所有闭子集 K 和截面 s ， s 可扩张为 X 上的一个连续截面，则称 (F,π,X) 为软层。