na szóval a koherens kéve:
adott egy (X, O_X) sémánk. egy F moduluskévét O_X fölött kvázi-koherensnek nevezünk, ha X lefedhető nyílt részhalmazokkal, amik affin sémák (vagyis alkalmas gyűrűk spektrumai, azaz Spec(A_i)-k), hogy léteznek olyan M_i modulusok A_i fölött, hogy F megszorítva Spec(A_i)-re az M_i által indukált kévével izomorf.
ha az is igaz, hogy M_i végesen generált minden i-re, akkor F koherens kéve.
remélem, most már minden érthető.




















