>>688
>同時に反射律 a∈a を否定するため順序関係たらしめない
とは言えないということ