反对称关系.md

集合$A$上的关系$R$称为反对称的，如果$xRy$，则$y\not Rx$（除非$x=y$时有$yRx$成立），其中$x\in A, y\in A$

对于反对称关系，下列两个命题等价

• $R$是反对称的
• $R\cap R^{-1}\subseteq I_A$