离散数学代数结构中一个代数系统中是否既有零元又有单位元?为什么?