が、最初に掲げてある定義（複素数の大小関係）
はどっから来たのかわかんねぇ。
何か先取りしてる。