商的数学定义和性质