Skip to main content
Source Link
Benoît Kloeckner
  • 14.4k
  • 1
  • 60
  • 106

I got 2 well earned downvotes for a false belief I claimed proudly, it is time to balance that by exposing it here:

Let $(P,\le)$ be any poset, and let $\le^*$ be an order on $P$ extending $\le$. Any Endomorphism of $\le^*$ also is an endomorphism of $\le$

($f:P\to P$ endomorphism of $\le$ meaning $x\le y \implies f(x)\le f(y)$).

Of course this is a particular case of a very general fallacy: by extending $\le$ into $\le^*$ one weakens both the conclusion and the premise of the implication, so that there is no general relation between orders that extend one another.

Post Made Community Wiki by Benoît Kloeckner