在数学里，一个具有加法运算的集合中的加法单位元，是指不论它加上任何一个在此集合内的元素"x"都会等于"x"的元素。如：
形式定义.令"N"是一个在加法运算下封闭的集合。"N"的加法单位元即为任一个能使所有在"N"内的元素"n"有下列公式的元素"e"：
证明.
加法单位元在一个群里是唯一的.令("G",+)是一个群，且设0和0'是在"G"内的两个加法单位元，则对于所有在"G"内的"g"而言，由上可得故可证明 0 =