集合中关系说明

集合为A，关系为R

自反性：如果任意x属于A，则（x,x）属于R

反自反性：如果任意x属于A，则（x,x）不属于R

对称性：任意的x,y属于A，（x,y）属于R的话，则(y,x)也属于R，则R是对称的。

反对称性（不是对称性的否定）：任意x,y属于A，如果(x,y)属于R，且(y,x)也属于R，则x=y

传递性：如果（x,y）属于R，且(y,x)属于R，则（x,z）属于R