晶体对称操作的集合满足群论中的____性质。