[多选]  多选题。写出半群定义中满足下面哪些性质。