# The proper name for a kind of ordered space [closed]

I'm trying to find the correct term for a specific kind of totally ordered space:

Let $S$ be a totally ordered space with strict total order $<$.

Property: For any two $s_{1}$ and $s_{2}$ in $S$ where $s_1 < s_2$, there must exist some $s_{3}$ such that $s_{1} < s_{3}$ and $s_{3} < s_{2}$.

What is the name of this property? Thank you!

-

## closed as off-topic by Emil Jeřábek, Joseph Van Name, Christian Remling, Alex Degtyarev, Joonas IlmavirtaApr 30 '15 at 6:36

This question appears to be off-topic. The users who voted to close gave these specific reasons:

• "MathOverflow is for mathematicians to ask each other questions about their research. See Math.StackExchange to ask general questions in mathematics." – Emil Jeřábek, Joseph Van Name, Joonas Ilmavirta
• "This question does not appear to be about research level mathematics within the scope defined in the help center." – Christian Remling, Alex Degtyarev
If this question can be reworded to fit the rules in the help center, please edit the question.