If $X$ is bornological (carries the finest locally convex topology compatible with the given family of bounded sets, or the the given dual space), then sequentially closed implies closed.
Peter Michor
- 25.3k
- 2
- 64
- 112