[Spivak]

All comparators are arbitrary, even among same-typed objects.

You can define a poset on the natural numbers ordered by divisibility that’s well defined and different from the usual < relation.

Pulling an example from maths, comparisons between integers and rationals are well defined despite them not being the same type. The obvious ordering uses the n <-> n/1 mapping but it doesn’t have to.