离散数学第2版作者尤枫第04章关系课件.PPTVIP

第4章 关 系 4.1 序偶与笛卡尔积 4.2 关系及其表示 4.3 关系距阵与关系图 4.4 关系的性质 4.5.1 关系的逆运算 4.5.2 关系的复合运算 4.5.3 关系的幂运算 4.5.4 关系的闭包运算 4.6 集合的划分与完全覆盖 4.7 等价关系与等价类 4.8 相容关系与最大形容类 4.9 次序关系 4.6 集合的划分与完全覆盖 第4章 关 系 【例4-21】设集合S={a,b,c}，若有 ?1={{a,b},{b,c}} ?2={{a},{b,c}} ?3={{a},{a,b}} ?4={{a},{b},{c}} ?5={{a,b,c}} 则?2,?4,?5都是S的划分，?1和?3都不是。 4.6 集合的划分与完全覆盖 第4章 关 系 定义4-23 设S是一个非空集合，?={S1,S2,…,Sn}是S的 一个划分，若n=|S|，则称?是S的的最大 划分；若n=1，则称?是S的的最小划分。 例4-21中的?4是S的最大划分， ?5是S的最小划分。 4