持有效，则集合 "X" 上的二元关系 "R" 是反对称的：「若 "a" 关系到 "b" 且 "b" 关系到 "a"，则 "a" = "b"。」数学上表示为：严格不等是反对称的；实际上 "a" < "b" 且 "b" < "a" 是不可能的，因此严格不等的反对称性是一种。注意，反对称关系不是"对称关系"（"aRb" 得到 "bRa"）的反义。有些关系既是对称的又是反对称的，比如"等于"（证明：a=b推出b=a；a=b且b=a推出a=b）；有些关系既不是对称的也不是反对称的，比如"爱上……"（证明：