>>370
代数的順序の定義が不明確だが、「a≦bならばac≦bcかつca≦cb」だとすると、非可換の場合ac≦bcは一般には言えない。
なお、群ならすべてのa,bに対しa≦bなので非可換でも自明な代数的前順序が入る。