How do I go about proving the relation defined such that and have the same sign ( ) is transitive?
proof: Suppose and , then , , and have the same sign. Without loss of generality, suppose are all positive. Then...
Am I on the right track? Can I assume that the outputs are ordered as I did?