(i) | \begin{equation} X \neq \emptyset \end{equation} |
(ii) | $a, b \in X$ are each a D2218: Set element in $X$ |
(iii) | ${\prec}$ is the D5350: Partial ordering relation strictisation of ${\preceq}$ on $X$ |
(i) | \begin{equation} X \neq \emptyset \end{equation} |
(ii) | $a, b \in X$ are each a D2218: Set element in $X$ |
(iii) | ${\prec}$ is the D5350: Partial ordering relation strictisation of ${\preceq}$ on $X$ |
▶ | D1277: Left-closed real interval |