As in [13], we first define a structural congruence relation j over process terms, by the following equations: P j Q ...
」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」＜第２章　物質の構成粒子＞（教p19-）