Skip to main content
2 of 3
added 80 characters in body
Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k

If one takes the reflexive order relation as fundamental, then this is just the strict product order.

It is good practice to take the reflexive order relation is the primary relation, since in the context of pre-orders, one can define the strict order $<$ from the reflexive order $\leq$, but not necessarily conversely, since there are strict orders $<$ that arise from more than one pre-order.

Thus, one understands an "order" to be the reflexive relation, which comes along with its defined strict relation. With two such orders, then one has the (reflexive) product order relation, and your relation is the strict order arising from that product order.

So I would just call it the strict product order, meaning the strict order notion arising from the (reflexive) product order.

As you note, this is not the product of the strict orders, and I view this simply as one more reason that we don't want the strict orders to be the primary order notion.

Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k