西安电子科技大学$3.6.2哈斯图软件学院【例题】集合A=(a，b,)，偏序集合<p(A)，>中，判断A的以下子集是否盖住(a)。(1) ;(2)(b, c;(3) (a, b);(4) (a, b, c)解答：（1）a}盖住の，但e不盖住a：(2）{a}与{b，c是不可比较的，因此{b，c}不盖住[a}；(3）{a，b}盖住[a};(4)因为[a}C{a,b}C(a,b,c},所以a, b,c)不盖住(a)
西安电子科技大学 §3.6.2 哈斯图 软件学院 【例题】集合A={a, b, c}，偏序集合<ρ(A), ⊆>中，判断A 的以下子集是否盖住{a}。 （1）∅ ； （2）{b, c}； （3）{a, b}； （4）{a, b, c} 解答： （1）{a} 盖住 ∅ ，但∅不盖住{a}； （2）{a}与{b, c}是不可比较的，因此{b, c}不盖住{a}； （3）{a, b}盖住{a}； （4）因为{a}⊂{a, b}⊂{a,b,c}，所以{a, b, c}不盖住 {a}
西安电子科技大学哈斯图$3.6.2P软件学院【例题】A是12的所有因子构成的集合，设|为A上的整除关系，求CovA。解答：A={1,2,3，4,6，12)“|” =[<1, 1>, <1, 2>,<1, 3>, <1, 4>,<1, 6>, <1,12>, <2,2>,<2,4>,<2, 6>,<2, 12>,<3, 3>,<3, 6><3,12>,<4,4>,<4,12>,<6, 6>,<6, 12>,<12,12>)。CovA=(<1, 2>, <1, 3>,<2, 4>, <2, 6>, <3, 6>,<4,12>,<6, 12>}
西安电子科技大学 §3.6.2 哈斯图 软件学院 【例题】A是12的所有因子构成的集合，设|为A上的整除 关系，求CovA。 解答：A={1, 2, 3, 4, 6, 12} “|”={<1, 1>, <1, 2>, <1, 3>, <1, 4>, <1, 6>, <1, 12>, <2, 2>, <2, 4>, <2, 6>, <2, 12>, <3, 3>, <3, 6>, <3, 12>, <4, 4>, <4, 12>, <6, 6>, <6, 12>, <12, 12>}。 CovA={<1, 2>, <1, 3>,<2, 4>, <2, 6>, <3, 6>, <4, 12>, <6, 12>}