离散数学（5）——有序对、卡氏积、二元关系、定义域，值域，域、逆，合成（复合）、限制、象、单根、单值

一、有序对

定理1

• <a,b>={ {a},{a,b}}
• a是第一元素，b是第二元素，也记作（a,b）
• 引理1 {x,a}={x,b}⟺a=b
• 引理2 若A=B=Φ 则⑴∪A=∪B⑵∩A=∩B

定理2

• <a,b>=<c,d>⟺a=c∧b=d
• 推论 a≠b⇒<a,b>≠<b,a>

有序三元组

• <a,b,c>=<<a,b>,c>
• <a₁,a₂,…,a_n>=<b₁,b₂,…,b_n>⟺a_i=b_i i=1,2,…,n

二、卡氏积

性质

• 非交换：A×B ≠ B×A
• 非结合：（A×B）×C ≠ A×（B×C）
• 分配律：A×（B∪C）＝（A×B）∪（A×C）
• 其他：A×B=Φ ⟺ A=Φ∨B=Φ

三、二元关系

n元关系&#