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!

In fact in $A \times A$ it's the antidiagonal that is closed and discrete, and so are all its subsets, the antidiagonal being
$$C=\{(x,-x): x \in A\}$$ while the diagonal $$\Delta=\{((x,x):x \in A\}$$
is just homeomorphic to $A$ (this holds in any space), and as $A$ is far from discrete and the irrationals in $A$ too, the statement you're asking us to prove is false. 
But for the subspace $C$ it is true, as $$C \cap \left((x-1,x] \times (-x-1,-x]\right) = \{(x,-x)\}$$ showing that each point of $C$ is an isolated point in the subspace topology on $C$. That $C$ is closed in $A \times A$ is also easy to see and hence all subspaces of $C$ are closed and relatively discrete in $A \times A$, the basis for all proofs of non-normality of $A \times A$ (that I know of).
