离散数学 第2章 关系摘要.ppt

离散数学;离散数学;离散数学;离散数学;离散数学;离散数学;离散数学;离散数学;离散数学;离散数学;离散数学;离散数学;离散数学;离散数学;离散数学;离散数学;离散数学;离散数学;离散数学;离散数学;离散数学;离散数学;定义3. 前域(domain) 后域(codomain) 设A, B是两个非空集合，R ?A×B是一关系。则关系R的 前域： ? (R) = { a : a ?A?(?b?B)(aRb)}?A ； 后域： ? (R) = { b : b?B?(?a?A)(aRb) }?B 。 ;例9 . 设A={1,2,3,4} ，B={2,4,6,8,10} 。 R={(1,2),(2,4),(3,6)}。 则　? (R) = {1,2,3}?A ， ? (R) = {2,4,6}?B 。 ;离散数学;定理2 . 设R1, R2是A×B上的两个二元关系。则 (1) ? (R1 ∪ R2) = ? (R1)∪? (R2) (2) ? (R1 ∪ R2) = ? (R1)∪? (R2) (3) ? (R1 ∩ R2) ? ?(R1)∩? (R2) (4) ? (R1 ∩ R2) ? ? (R1)∩? (R2)