S\to\bigcup_{n\in\mathbb{N}\backslash\{0\}}\mathbb{R}^n\cup\{i\}