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