啊，实数有个序结构
有了序，才有负负得正，正正又得正这件事
才能把±1区分开。
其他的群不讲究大小就不能分


【 在 luxiaofeng99 的大作中提到: 】
: 关键问题是，正负号是两个操作符才出现的啊，单纯一个操作符的群不是的啊
:
:
--
FROM 106.127.205.*