零對映

給定兩個加法群（或環、或模、或向量空間） 和 ，對映 使得 對於所有 稱為零對映。它是群（或環、或模、或向量空間）範疇中的同態。