put"><span class="special">==</span></code> is an equivalence
                    relation over its domain
                  </p>
                </td>
</tr>
<tr>
<td>
                  <p>
                    <code class="computeroutput"><span class="identifier">a</span> <span class="special">!=</span>
                    <span class="identifier">b</span></code>
                  </p>
                </td>
<td>
                  <p>
                    convertible to <code class="computeroutput"><span clas