一个部分有序集定义为有序对.在这里，被称为和是部分订单属于.
更多尝试：
埃里克·W·韦斯坦。“地面设置”来自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/GroundSet.html
