What is a pre-order that is not reflexive nor irreflexive? so just transitive and total. What is this relation called?

I am aware that total pre-order is transitive, total, and reflexive.

But I am wondering is there a variation of it that not reflexive nor irreflexive?

  • $\begingroup$ Pre-orders are reflexive (and transitive) by definition (and don't have to be total). Do you mean a transitive relation that is neither reflexive nor irreflexive? $\endgroup$ Commented Feb 14, 2023 at 21:12
  • $\begingroup$ Transitive + total. What is it called? $\endgroup$
    – Node.JS
    Commented Feb 15, 2023 at 1:24
  • $\begingroup$ A total transitive relation? I don't know of any special name for it, and couldn't immediately find one online. $\endgroup$ Commented Feb 15, 2023 at 11:51

1 Answer 1


I would call your construction simply a total transitive order. Transitivity is the absolute minimum requirement for a binary relation to qualify as an order.

Alternatively, it could be called a thin, connected semicategory. The thin part accounts for the fact that your semicategory has only one morphism between objects, and the connected part accounts for the totality of your order.

Does this answer your question, or even make sense? If not, happy to edit it to improve.


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .