Después de aplicar la transitividad, las desigualdades x $m_le y Y y $m_le z
implican x $m_le z. Saber que en este caso se puede tener x=y Y y=z,
luego x=z es una posibilidad que no se debería perder.
<p>
Esto es, x $m_le y Y y $m_le z no implican x &lt; z.
