通常の順序関係(狭義の順序でも半順序でもよい)の逆関係は、反対順序で与えられる。