[判断] 

3、一个代数系统的单位元、零元、逆元如存在，则必唯一。