1
$\begingroup$

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?

$\endgroup$
3
  • $\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$
    – Jean Du Plessis
    Feb 14 at 21:12
  • $\begingroup$ Transitive + total. What is it called? $\endgroup$
    – Node.JS
    Feb 15 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$
    – Jean Du Plessis
    Feb 15 at 11:51

1 Answer 1

Reset to default
1
$\begingroup$

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.

$\endgroup$

You must log in to answer this question.

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