Morphisme d’ordre

[ Definition ]
On appelle morphisme d’ordre entre deux ensembles ou classes ordonnés \(A\) et \(B\) une application \(f\) de \(A\) vers \(B\) telle que \(f(a)\geq f(b) \iff a \geq b\). Un morphisme d’ordre bijectif est appelé isomorphisme d’ordre. S’il existe un isomorphisme d’ordre entre deux ensembles ou classes alors on dit que ces ensembles ou classes sont isomorphes pour l’ordre.
En savoir plus