半群中的单位元如果存在则是唯一的。()
出自:兰州工业学院 线性代数