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.
Edit: As Jochen pointed out, this is wrong. Sorry.
Peter Michor
- 25.3k
- 2
- 64
- 112