In certain constructivist and predicativist frameworks, the inference from order-isomorphism to bije...