Y by
I think, the necessary and sufficient condition for a function to induce an ordering relation (specifically a partial or total order) on its domain is that it must be compatible with the ordering defined on the codomain (i.e., it must be order-preserving).
How can we express this necessary and sufficient condition more clearly? Thank you.
How can we express this necessary and sufficient condition more clearly? Thank you.