1
Soit \(\leq\) une relation d’ordre sur un ensemble \(E\), et \(<\) la relation d’ordre strict associée, c’est-à-dire par définition : \(x<y \iff x\leq y \text{ et } x\neq y\). Est-ce que le contraire de \(x\leq y\) est \(y<x\) ?
Soit \(\leq\) une relation d’ordre sur un ensemble \(E\), et \(<\) la relation d’ordre strict associée, c’est-à-dire par définition : \(x<y \iff x\leq y \text{ et } x\neq y\). Est-ce que le contraire de \(x\leq y\) est \(y<x\) ?