离散数学中 群的势 是什么意思