Suppose

- $T$ is a totally ordered set without a maximal element,
- $\tau$ is the order type of $T$,
- $S$ is the set of order types of all proper initial segments (downward closed subsets) of $T$.

Is it always possible to unambiguously reconstruct $\tau$ from $S$?