哈斯图是通过覆盖关系以图形方式呈现偏序集的方式,并隐含向上方向。为偏序集的每个元素绘制一个点,并根据以下两个规则在这些点之间绘制线段
1. 如果在偏序集中 ,则对应于 的点在图中位置低于对应于 的点。
2. 如果 覆盖 或 覆盖 ,则在图中包含偏序集中任意两个元素 和 之间点的线段 当且仅当 。
哈斯图也称为向上图。
图 的哈斯图实现为HasseDiagram[g] 在 Wolfram 语言 包中Combinatorica`,其中 是一个有向无环Combinatorica图对象。它们可能会在未来版本的 Wolfram 语言 中实现为HasseGraph.
以上图形显示了阶数为 、3、4 和 5 的 布尔代数 的哈斯图。特别是,这些图形说明了格的左右两半之间的划分,其中每一半都是 布尔代数 在 个元素上(Skiena 1990,第 169-170 页)。这些精确地对应于超立方体图 。