我太懂这种“明明知道存在却卡壳构造不出来”的感觉了——偏序集的反例有时候就差那么一点序关系的调整，稍不注意就不符合要求。结合你提到的格的反例经验，我给你梳理几个可落地的思路和具体实例：

先从明确核心需求入手 #

首先得把你要的实例的核心性质锚定清楚，比如：

• 是不是要构造非格的偏序集（即存在元素对没有最小上界/最大下界）
• 是否需要满足额外性质（比如有界、链有限、模性等）

先假设你要的是最常见的「存在元素对无最小上界的非格偏序集」，给你一个一步到位的实例：

具体可验证的实例 #

我们构造一个6元素偏序集，元素记为 p, q, r, s, t, u，严格偏序关系定义如下：

• p < r，p < s，p < t
• q < r，q < s，q < u
• 其余元素两两不可比（比如r和s、t、u都没有序关系，t和u也互不关联）

关键性质验证 #

看元素对 p 和 q：

• 它们的上界是 r 和 s，但 r 和 s 不可比，所以不存在最小上界——这就直接满足了非格的核心特征（如果你的目标是这个的话）。

基于六边形反例的改造思路 #

你提到试过六边形（也就是经典的M3模格反例），如果想从它改造成更贴合需求的实例，可以这么调整：
原六边形的元素是0, x, y, z, 1（0是最小元，1是最大元，x,y,z两两不可比且介于0和1之间）。现在我们去掉最大元1，新增一个元素w，让w > x且w > y，但w和z不可比。
改造后的偏序集里：

• x和y的最小上界是w
• x和z没有上界（因为1被去掉了），完全符合“存在元素对无上界”的反例要求。

实用验证小技巧 #

构造完后用Hasse图直观检查效率最高：

• 把最小元素放在最底部，有最大元的话放最顶部
• 元素间的连线只表示直接覆盖关系（没有中间元素）
• 逐对检查元素的上界/下界集合：如果某个集合里没有“最小的上界”或“最大的下界”，那这个实例就符合你的反例需求。

如果你的目标是其他性质的偏序集，可以补充具体要求，我再帮你调整构造方向~

内容的提问来源于stack exchange，提问作者jamie