念のため、前順序と半順序の違いは、半順序では、反対称律（ かつ ならば ）が成立している点である。ということは、前順序では順序関係がループになっているケースも許しているわけである。ちなみにテキストの骨格的（skeletal）とは、圏論用語では対象間の…