双模倣性
p → α p ′ {\displaystyle p\mathrel {\overset {\alpha }{\rightarrow }} p'} ならば、 q → α q ′ {\displaystyle q\mathrel {\overset {\alpha }{\rightarrow }} q'} の関係が成り立つ S の要素 q' が存在し、(p', q') も R に含まれる。
S 内の2つの状態 p と q に対して (p, q) が R に含まれる双模倣性関係 R が存在するとき、p と q は「双模倣的」であるといい、 p ∼ q と表記する。
双模倣的関係 ∼ は同値関係である。さらに、それは与えられた遷移系上の双模倣性関係のうち最大のものを与える。
p が q の模倣であり、q が p の模倣であっても、双模倣性があるとは限らないことに注意が必要である。p と q が双模倣的であるためには、p から q への模倣と q から p への模倣が二項関係における「逆(en:Inverse relation)」でなければならない。