立），则对任何开集 formula_55 有此时 formula_2 是 formula_1 上的拟凝聚层。
与亚纯函数域的关系.在复代数几何中，基本的对象是不可约复解析簇，其上能局部地开展复分析，由此可以定义复解析簇上的亚纯函数；亚纯函数域是该簇上的亚纯函数之集合。在不可约 formula_59-代数簇上，有理函数必为亚纯函数，反之则不然（考虑 formula_60）；若加上紧致条件，则可证明此时亚纯函数域确等于有理函数域。