设为偏序关系,其中∣为整除关系,即ab当且仅当a整除b。已知A={1,2,3,5,6,15,30},画出这个偏序关系的哈斯图,并判断其是否为格。
解:根据各元素的关系,可以画出哈斯图如下:
从图上可见,任意两个元素都有上确界和下确界存在,故为格。
设为偏序关系,其中∣为整除关系,即ab当且仅当a整除b。已知A={1,2,3,5,6,15,30},画出这个偏序关系的哈斯图,并判断其是否为格。
解:根据各元素的关系,可以画出哈斯图如下:
从图上可见,任意两个元素都有上确界和下确界存在,故为格。