半順序集合という数学用語を知った。 順序集合 - Wikipedia たとえば整数のようにすべての元の間に順序のある集合のスーパーセットの概念で、比較不可能な元も許容する集合のことらしい。 具体例が面白い。 一方、全順序ではない半順序集合の例としては、正…