Fuente TeX:
\{(x,y): y=0, x\geq 0\} \cup \{\infty\}