Let $P = (\mathbb{R}, {<})$ be the D1101: Strictly ordered set of real numbers.
The open real unit interval is the D11: Set \begin{equation} (0, 1) := \{ x \in \mathbb{R} : 0 < x < 1 \} \end{equation}