Trong toán học, quan hệ hai ngôi R {\displaystyle R} trên tập hợp X {\displaystyle X} được gọi là phản đối xứng (hay phản xứng) nếu không có cặp phần tử phân biệt của X {\displaystyle X} sao cho mỗi cái trong cặp có quan hệ R {\displaystyle R} với cái còn lại. Nói chặt chẽ hơn, R {\displaystyle R} phản đối xứng nếu với mọi a , b ∈ X , {\displaystyle a,b\in X,} hoặc tương đương,Định nghĩa phản đối xứng không nói gì đến việc a R a {\displaystyle aRa} có đúng hay không cho bất kỳ a {\displaystyle a} . Quan hệ phản đối xứng R {\displaystyle R} trên tập hợp X {\displaystyle X} có thể phản xạ (nghĩa là, a R a {\displaystyle aRa} đúng với mọi a ∈ X {\displaystyle a\in X} ) hoặc hoàn toàn không phản xạ (nghĩa là, a R a {\displaystyle aRa} sai với mọi a ∈ X {\displaystyle a\in X} ), hoặc không phản xạ và cũng không hoàn toàn không phản xạ. Quan hệ được gọi là quan hệ bất đối xứng khi và chỉ khi nó vừa phản đối xứng vừa hoàn toàn không phản xạ.