离散数学及其应用-课件 马立和 第1--5章 命题逻辑---函数.ppt

离散数学及其应用-课件 马立和 第1--5章 命题逻辑---函数.ppt

定义4.3.3设R为A到B的二元关系,S为B到C的二元关系,那么R○S为A到C的二元关系,称为关系R与S的复合(compositions),定义为

R○S={x,z|x∈A∧z∈C∧?y(y∈B∧xRy∧ySz)}

这里“○”称为复合运算。R○R也记为R2。4.3.3关系的复合运算【例4.3.3】设R表示父子关系,即x,y∈R说明x是y的父亲,R○R就表示祖孙关系。

4.3.3关系的复合运算【例4.3.4】设R表示朋友关系,S表示直接后门关系,R○S就表示间接后门关系。

4.3.3关系的复合运算【例4.3.5】设A={a,b,c,d

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档