A类关系在完全地有序集合.
更多需要尝试的事情:
埃里克·魏斯坦(Eric W.Weisstein)。“总订单”自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/TotalOrder.html