漫游猫认证
不是格,因为1和2都有两个上界,因此这两个点没有最小上界(最小上界有且只能有一个)。
格的定义:在偏序集中,任意两个元素都有最小上界和最大下界称为格。(两元素的最小上界和最大下界可以相同也可以不同,但是要存在)。