\mathop{\bigcup_{K\in\{A,B,C,D\}}}_{1\leq i\leq 3}\left(\mathop{K}_i\cup\mathop{K}^i\right)\cup Q_0\cup Q_1=\textbf{R}^+