9，且有相应的长正合序列：导出函子可以视为 formula_3 的右正合性的尺度。
构造与初步性质.
右导出函子.今假设 formula_4 中有充足的内射元。设 formula_13，根据假设，存在内射分解：取函子 formula_3，得到上链复形：定义 formula_17 为其第 formula_18 个上同调群，特别是有 formula_19。注意到两点：
左导出函子.左导出函子的建构与右导出函子对偶。设 form