>>819
半順序では成り立たないが前順序でなら成り立つ何か面白くってためになる結果があれば?