I am looking for a (Hausdorff or better) space $X$ and a subset $A$ of $X$ that is relatively countably compact (every sequence from $A$ has an accumulation point in $X$) such that the closure of $A$ is not countably compact.
It is known that in many "nice" spaces such examples do not exist (a classical case being normed spaces in their weak topology).


Edit: for $T\_4$ spaces this cannot happen, as the closure of a relatively countably compact subset is pseudocompact (Suppose A is relatively countably compact.
If f from cl(A) to R is unbounded then f|A is unbounded as well, as A is dense in cl(A).
So we can find {x\_n: n in N} in A such that |f(x)| >= n.
Let p in cl(A) be an accumulation point of this set, by A being relatively countably compact.
Then continuity at f implies that |f(x\_n)| <= |f(p)| + 1, for all but finitely many n.
This contradicts the choice of the x\_n, contradiction.)
So cl(A) is pseudocompact, and hence in a normal space, countably compact.
This explains the properties of the example given below. 



Relatively countably compact subsets without countably compact closure.
Let $X$ be the space
$(\omega+1)\times(\omega\_1+1)-\{(\omega,\omega\_1)\}$, putting the transfinite order topology on each coordinate and the product topology on the whole space. 



```

 (0,omega_1)  (1,omega_1)  (2,omega_1)   --->     O
      :            :            :                 
      :            :            :                 :
      :            :            :                 :
      :            :            :                 :
 (0,alpha)    (1,alpha)    (2,alpha)     --->   (omega,alpha)
      :            :            :                 :
      :            :            :                 :
   (0,1)        (1,1)        (2,1)       --->   (omega,1)
   (0,0)        (1,0)        (2,0)       --->   (omega,0)


```

Thus, the space consists of $\omega\_1+1$ many copies of a (horizontally) convergent sequence, stacked on top of each other, but with the limit of the final sequence omitted (at O in the diagram). Horizontally, the $\alpha$-th row has $(n,\alpha)$ converging to $(\omega,\alpha)$ as $n\to\omega$. Vertically, the $n$-th column has a transfinite sequence $(n,\alpha)$ converging to $(n,\omega\_1)$ as $\alpha\to\omega\_1$. This is a Hausdorff space, and comparatively nice in several ways.


Let $A=(\omega+1)\times\omega\_1\subset X$ be the lower portion of this diagram, without the top row. Any countable sequence from $A$ is bounded below a countable ordinal
and has accumulation points in $X$, and in fact in $A$ itself: either the sequence contains
infinitely many points from one coordinate, in which case
it accumulates on the limit supremum in that coordinate, or it
contains points from infinitely many coordinates, which
will accumulate on a point of the form $(\omega,\alpha)$ at
the right-most column in $X$. In particular, $A$ already contains all its limit points of sequences in $A$. Nevertheless, the closure of $A$ in $X$ is
all of $X$, and this includes the top row of points of the
form $(n,\omega\_1)$. But this sequence has no accumulation points
in $X$, as desired.


