对任意的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关于集合的包含关系构成格.