[claudius]

By your definition of <, 0 < i and i^2 < 0, however, the OP requires that 0 < p AND 0 < q => 0 < p * q, which is not fulfilled by your < for p = i = q.