给出一个0 1矩阵，判断是否满足格关系（任意两个元素有上界和下界）