Xを環付き空間
任意の点xに対して、xの近傍Uと、有限生成O_X(U)-加群Mが存在して、F|U ～ M∼