こうした関係をモデル化しようとするなら、まず領域の順序≤から導かれる狭義の順序<（厳密に小さい）について考えるかもしれない。
如果你希望建模这样一种关联，你首先可能希望考虑带有次序≤的域的诱导出的严格次序<。