离散数学(5)——有序对、卡氏积、二元关系、定义域,值域,域、逆,合成(复合)、限制、象、单根、单值
一、有序对定理1={{a},{a,b}}a是第一元素,b是第二元素,也记作(a,b)引理1{x,a}={x,b}⟺a=b引理2若A=B=Φ则⑴∪A=∪B⑵∩A=∩B定理2=⟺a=c∧b=d推论a≠b⇒≠有序三元组=,c>=⟺ai=bii=1,2,…,n二、卡氏积性质非交换:A×B≠B×A非结合:(A×B)×C≠A×(B×C)分配律:A×(B∪C)=(A×B)∪(A×C)其他:A×B=Φ⟺A=Φ∨B