Discrete subspace in upper limit space Let $A$ be $\mathbb R$ under the upper limit topology (having as basis $\{(a,b] : a < b\}$), then the subspace $\{(x, -x)\mid x 
 \text{ is irrational}\}$ of $A\times A$ is closed, uncountable and discrete.
I think the subspace is closed since singleton is closed in upper limit space so closed in the product space, and since irrational is uncountable then the subspace is uncountable. 
But why it is discrete? Irrational as a subspace of upper limit space is not discrete why in the product space it is discrete? Thanks!

The topology on a space $X$ is discrete iff its diagonal $\Delta =\{(x,x):x\in X\}$ is open in the product space $X\times X$. For when the diagonal is open, then the topology on $X$ has the property that every singleton $\{x\}$ is open. Since every $(x,x)\in\Delta$ is contained in a basis element $\{U\times V: U,V\text{ open in }X\}$, and the only sets of the form $U\times V$ where $U$,$V$ open in $X$ and $(x,x)\in U\times V$ are $U=V=\{x\}$, so $(x,x)$ is open in $\Delta$. It follows that $\{x\}$ is open in $X$, from which we conclude that $X$ is discrete. And if $X$ is discrete then any set in $X\times X$ is open, so in particular $\Delta$ is open.
In $A$ the subspace $\{x:x\text{ is irrational}\}$ is clearly not open, for the set $\{x:x\text{ is rational}\}$ is dense in $A$ and so any neighborhood $U$ of $x$ would contain a rational number. But in $A\times A$, the diagonal $\Delta = \{(x,x): x\text{ is irrational}\}$ is open, as the only sets of the form $U\times V$ such that $(x,x)\in U\times V$ and $U,V\subset\{x:\text{ is irrational}\}$ are $U=V=\{x\}$, so $\{x\}\times \{x\}=\{(x,x)\}$ is open in $\Delta$, and singletons being open immediately implies that $\{(x,x):x\text{ is irrational}\}$ is discrete as a subspace of $A\times A$.
