Definition:Densely Ordered Subset