软层

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