For an ARS the following conditions are equivalent: (i) it has the Church–Rosser property, (ii) it is confluent.[14]
」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」＜第２章　物質の構成粒子＞（教p19-）