Դիֆերենցիալ խումբը կոչվում է աբելյան խումբ C {\displaystyle \mathbf {C} } , որում տրված է այսպիսի էնդոմորֆիզմ d : C → C {\displaystyle d\colon \mathbf {C} \to \mathbf {C} } , որ d 2 = 0 {\displaystyle d^{2}=0} : Այդ էնդոմորֆիզմը անվանում են դիֆերենցիալ։ Դիֆերենցիալ խմբի տարերին անվանում են շղթաներ, միջուկի տարրերը՝ ker d {\displaystyle \ker \,d} ցիկլ, պատկերի տարրերը՝ I m d {\displaystyle \mathrm {Im} \,d} սահմանային։