(离散) 设（S,*）是半群，OL是左零元，对∀x∈S，x*OL是否是左零元，为什么？

 设<S,*>是半群，OL是左零元，对∀x∈S，x*OL是否是左零元，为什么？

解析：左零元意味着：OL * y = OL  ；半群具有结合性。