i>0, i*i=-1<0

如果我没有理解错，这就是先比较虚部再比较实部，如果复数m，n的虚部是m比较大，那么总有m＞n。
这样的运算规则我还可以做很多种，比如先比实部再比虚部，先比复角再比模长，等等等等，只要一个顺序的话方案太多了

如果你要比大小，最好给它一个实际背景，如果没有实际背景，那也没有必要下一个空头定义，还不如复数比大小默认比模

有序域光有序关系可不行，重要的是序结构要和域结构兼容，不然就可以构造出一大堆奇形怪状的序结构，这是没有任何意义的。

和乘法不兼容

不就是常见的良序乘法吗？你相当于定义了一个(R^2,＜)，很容易知道{x:x＜(0,0)}是有上界非空集，但是没有最小上界，因为不存在一个最小的负数

复数不能比较大小，同学你去问一下复变的老师

肯定可以比大小，只要找个函数把C映射到R上，比函数值大小就完事，取模是最常见的

字典序和典范良序你选一个