code></pre>

<p><strong>Axioms</strong>, in addition to those of <code>Equatable</code>:</p>

<ul><li><code>x == y</code> implies <code>x &lt;= y</code>, <code>x &gt;= y</code>, <code>!(x &lt; y)</code>, and <code>!(x &gt; y)</code></li><li><code>x &lt; y</code> implies <code>x &lt;= y</code> and <code>y &gt; x</code></li><li><code>x &gt; y</code> implies <code>x &gt;= y</code> and <code>y &lt; x</code></li><li><code>x &lt;= y</code> implies <code>y &gt;= x</code></li><li><code>x &gt;= y</code> implies <cod