Work ䷧

Sign Relations • Semiotic Equivalence Relations 2

Display 1

\begin{array}{clc} (x, y) & \in & E \\[4pt] x & \in & [y]_E \\[4pt] y & \in & [x]_E \\[4pt] [x]_E & = & [y]_E \\[4pt] x & =_E & y \end{array}

Display 2

\begin{array}{ccc} [x]_E & = & \{ y \in X : (x, y) \in E \} \\[6pt] x =_E y & \Leftrightarrow & (x, y) \in E \end{array}

Display 3

\begin{array}{clc} [x]_L & = & [y]_L \\[6pt] x & =_L & y \end{array}

Display 4

\begin{matrix} [ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime} ]_{L_\mathrm{A}} & = & [ {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} ]_{L_\mathrm{A}} \\[6pt] [ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime} ]_{L_\mathrm{A}} & = & [ {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} ]_{L_\mathrm{A}} \end{matrix}

Display 5

\begin{matrix} {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime} & =_{L_\mathrm{A}} & {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \\[6pt] {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime} & =_{L_\mathrm{A}} & {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \end{matrix}

Display 6

\{ \{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \}, \{ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \} \}.

Display 7

\begin{matrix} [ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime} ]_{L_\mathrm{B}} & = & [ {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} ]_{L_\mathrm{B}} \\[6pt] [ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime} ]_{L_\mathrm{B}} & = & [ {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} ]_{L_\mathrm{B}} \end{matrix}

Display 8

\begin{matrix} {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime} & =_{L_\mathrm{B}} & {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \\[6pt] {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime} & =_{L_\mathrm{B}} & {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \end{matrix}

Display 9

\{ \{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \}, \{ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \} \}.