In the noncommutative case, it becomes necessary to distinguish the right ACCP from left ACCP.
非可換の場合には、右 ACCP と左 ACCP を区別する必要が出てくる。