1.R是A上的对称关系⇔∀a∀b(a∈A∧b∈A∧aRb→bRa)。

2、当A上的R是对称关系时，称R在A上是对称的，或称A上的关系R有对称性。

3、非对称关系都符合反对称性，更准确地说，集合 X 上的二元关系 R 是反对称的，当且仅当对于X里的任意元素a， b，若a R-关系于 且 b R-关系于 a，则a=b。