以概形论的语言重新表述。
性质的比较.给定一个 formula_1 上的局部有限型概形 formula_2，可以考虑相应的复解析空间 formula_3。此对应 formula_4 定义一个从局部有限型概形范畴到复解析空间范畴的函子。对任一 formula_5-模 formula_6，同样可考虑相应的 formula_7-模 formula_8，这也给出相应的函子。可以证明 formula_9 是一个正合、忠实且保守的函子。论证中用到的关键性质是：formula_5 是平坦的