Rigid dense subset of the real line
= Rigid dense subset of the real line
An <order-dense subset> with no nonidentity <order automorphism>. A transfinite diagonal construction marks an included point and an excluded image for every nonidentity real-line <order automorphism>, yielding such a subset of size $2^{\aleph_0}$.