I don’t like it either, and it may not be needed. (and I don’t need the “strictly monotone”; that’s a conclusion of the the axioms). I’ll have to recast it all formally to check whether its needed.
I don’t like it either, and it may not be needed. (and I don’t need the “strictly monotone”; that’s a conclusion of the the axioms). I’ll have to recast it all formally to check whether its needed.