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!



The proper name for a kind of ordered space
[Dense order](http://en.wikipedia.org/wiki/Dense_order) is one name that concept goes by.


