述語論理において、対称律\(x_{1}=x_{2}\to x_{2}=x_{1}\)と推移律\(x_{1}=x_{2}\to x_{2}=x_{3}\to x_{1}=x_{3}\)が成り立つ。[001E]はこの類似である。ちなみに、\(\mathord {\textnormal {\textsf {refl}}}:x=x\)は反射律とも思える。