や、semiorderだと順序と比較可能性は見てても比較可能とする基準については全然言及してないって辺りが脳内イメージとの乖離点だな