Question

离散数学，关于哈斯图！求高人解答！

设A={a,b,c}, 他的幂集2^A的包含关系属于等于是一个偏序，证明偏序集（2^A，≦）是一个格，并画出它的哈斯图。

Answer 1

对任意的x,y∈2^A，x∨y就是x与y的并集x∪y，x∧y就是x与y的交集x∩y，则2^A对集合的交并运算是封闭的，所以x∨y=x∪y∈2^A，x∧y=x∩y∈2^A，所以2^A关于集合的包含关系构成格。

Answer 2

明天考离散~不挂妥妥的。。路过……

追问

不要路过呀，求解呀，高人。

追答

我是坏学生。。。- -这么晚睡肯定计算机的……