一个 偏序集 被定义为一个有序对 。这里, 被称为 的基集,而 是 的 偏序。
更多尝试
Weisstein, Eric W. “基集。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/GroundSet.html