If one wants to model such a relationship, one may first want to consider the induced strict order < of a domain with order ≤.
如果你希望建模这样一种关联，你首先可能希望考虑带有次序 ≤ 的域的诱导出的严格次序 <。