商 数学定义 2026