1第三讲第三讲 安全策略与安全模型安全策略与安全模型 一一 数学基础数学基础 1.集合 集合 元素 元素 子集 子集 a a A H A HS S 2.集合的幂集 集合的幂集 2 2A A =P(A) =H =P(A) =H A A 3.笛卡尔积 笛卡尔积 AB=(a,b)| AB=(a,b)| a a A ,b A ,b B B 4.集合 集合A A上的关系的性质 上的关系的性质 设是A上的关系,a A 均a a-自反 自反 设是A上的关系,a,b A若a b,则a b与ba不能同时出现 -反对称 反对称 设是A上的关系,a,b,c A若a b, bc则一定有a c -可传递的 可传递的2偏序关系:集合 A 上的关系 , 如果它是自反、反对称且 可传递的,则称为 A 上的一个偏序关系。 “偏序关系”也叫做“ 偏序”,用“”符号表示。可比:设是集合 A 上的偏序,对于 a、bA,若有 a b 或 b a,则称 a 和 b 是可比的,否则称 a 和 b 是不可比的5.5.集合上的偏序关系集合上的偏序关系3全序 :一个集合 A 上的任意两个元素之间都满足偏序关系, 则称该偏序为 A 上的一