I'm pretty sure this is right as I can't find any case where its not and just thinking about it, its logical.
Give two objects, a & b, that can be subtracted from each other and stored in c:
a - b = c
If c is negative that would indicate that a < b.
Anyone know of a case that would cause this to be false? For the object I'm dealing with I only have to worry about rational reals.