近期在学习抽象代数（近世代数）的东西，目前是跟着视频看（太抽象了，光看书不好理解）。抽象代数的逻辑是群，环，域，格 目前还在看群部分的半群及幺半群，然后这篇文章主要传一下证的几个定理（算是小练习）：
证明1：一个幺半群的任意多格子幺半群的交集仍然是子幺半群
证明2：设A是半群（S，o)的一个非空子集，则由A生成的左理想是A∪SA
证明3：设（M，·，e）和（M’，，e’)是两个幺半群，如果存在一个从M到M’的一一对应φ，使得∀x，y∈M有
φ（x·y）= φ（x） φ（y） ，则φ（e）= e’
