反対称関係
テンプレート:出典の明記 反対称関係（はんたいしょうかんけい、テンプレート:Lang-en-short）とは、集合 テンプレート:Mvar に関する二項関係 テンプレート:Mvar であって、次の条件を満たすものをいう。
すなわち、テンプレート:Mvar の任意の元 テンプレート:Mvar と テンプレート:Mvar に対して「テンプレート:Mvar から テンプレート:Mvar への関係、および テンプレート:Mvar から テンプレート:Mvar への関係がともに成り立つならば、テンプレート:Mvar = テンプレート:Mvar である」ような関係のことである。この条件を反対称律（テンプレート:Lang-en-short）という。
また、反対称律は次の条件と同値である。
すなわち、反対称関係とは「テンプレート:Mvar からテンプレート:Mvar への関係が成り立ち、かつ テンプレート:Mvar と テンプレート:Mvar が等しくないならば、テンプレート:Mvar から テンプレート:Mvar への関係は成り立たない」ような関係であると定義してもよい。
反対称律に加え、反射律および推移律が成り立つ二項関係を、順序関係という。したがって、一般に順序関係は反対称関係である。例えば、実数における大小関係 (≦) や集合における包含関係 (⊆) は順序関係であるから、反対称関係でもある。順序関係でなく、反対称関係である関係の例としては、等号なしの大小関係 (＜) が挙げられる。
反対称関係は対称関係の論理的否定ではない。対称関係でも反対称関係でもある関係（等号＝など）もあり、また対称関係でも反対称関係でもない関係もある。対称関係でないものは非対称関係と呼ばれる。なお、ある変換により符号が反転する性質を反対称性というが、この概念とも直接の関係はない。