The proper name for a kind of ordered space
I'm trying to find the correct term for a specific kind of totally ordered space:
Let $S$ be a totally ordered space with asymmetric relation <.
Property: For any two
What is the name of this property? Thank you!