对称关系

一种特殊的关系．假定R为集合S上的一关系，亦即RS×S，且S=fldR．如果对于任意x，y∈S，都有：若R(x，y)，则R(y，x)，那么就称R为一对称关系，用公式表达，为

xy(R(x，y)→R(y，x))．

当关系R是对称关系时，也称R为有对称性的关系，或称关系R具有对称性。