S3={(1,2),(3,2),(3,4)} 定义3:设A,B为两个集合,A×B的子集R 称为从A到B的一个二元关系 若(a,b)∈R称为a与b具有关系R,也记为aRb; 否则称a与b不具有关系R,记作aRb 当R=时,称为空关系 当R=A×B时,称为全关系 当A=B时, AxA的子集R称为A上的一个二元关系7 S3 ={(1,2),(3,2),(3,4)} 3: , , . A B A B R A B 定义 设 为两个集合  的子集 称为从 到 的一个二元关系 的子集 称为 上的一个二元关系 当 时 当 时 称为全关系 当 时 称为空关系 A A R A A B R A B R  = =  = , ,  , ; ( , ) , ; , . a b R a b R aRb a b R aRb 若  称为 与 具有关系 也记为 否则称 与 不具有关系 记作