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