論理式を使って定義できるような対象しか存在しないなら
その定義のされ方に着目することで整列順序付けができてもおかしくは無いのかな、
というイメージはあるけど。