离散数学 如何根据哈斯图判断是否是格
哈斯图中，选任何子集，判断是否一定有最大下界和最大上界 如果符合这个性质，那就是格，否则就不是。 另外，哈斯图长得像网格（不要有断开的线），就一般是哈斯图，这个依据不严谨，但好懂一些...
TAG：哈斯图
哈斯图上确界和下确界定义
哈斯图是由德国数学家哈斯（Gustav Hasse）于 1899 年提出的一种用于表示数域上的代数结构的图形方法。 在数学中，实数的上确界和下确界是用于描述实数***的边界的概念。 上确界：设非空实数集 S，存在实数 M，使得对于任意的 x属于 S，都有 x小于等于 M，则称 M 为 S 的上确界，记为 sup(S)。 下确界：设非空实数集 S，存在实数 m，使得对于任意的 x属于 S，都有 x大于等于 m，则称 m 为 S 的下确界，记为 inf(S)。 实数集的上确界和下确界不存在...