概念 集合,元素有序对有序对的相等笛卡尔积: A×B={<x,y>|x∈A,y∈B} 关系: xRy 定义域、值域: domR={x|∃y∈B,<x,y>∈R} ranR={y|∃x∈A,<x,y>∈R} 关系的性质 自反性对称性传递性反自反性 ∀x,xRx 反对称性 ∀x,y,if xRy,yRx⇒x=y 等价关系等价类等价类性质 a∈[a] [a]=[b]⇔aRb [a]∩[b]=∅⇔aRb