If $$A$$ and $$B$$ are nonempty, disjoint sets with $$A \cup B = \mathbb{R}$$ and $$a < b$$ for all $$a \in A$$ and $$a < b$$, then there exists a [...] such [...].