Changes

{| align="center" width="90%"

{| align="center" width="90%"

|

|

<p><math>\operatorname{Ref}(R) \colon (x)R(x, x),</math><br>

<math>\begin{array}{l}

<math>\operatorname{Sym}(R) \colon (x)(y)(R(x, y) \rightarrow R(y, x)),</math><br>

\operatorname{Ref}(R) \colon (x)R(x, x),

<math>\operatorname{Tr}(R) \colon (x)(y)(z)(R(x, y) \And R(y, z) \rightarrow R(x, z)).</math></p>

\operatorname{Sym}(R) \colon (x)(y)(R(x, y) \rightarrow R(y, x)),

\operatorname{Tr}(R) \colon (x)(y)(z)(R(x, y) \And R(y, z) \rightarrow R(x, z)).

\end{array}</math>

|}

|}