Exercice 9, § 5

Soit E un espace localement convexe séparé et quasi-complet ; pour que E soit semi-réflexif, il faut et il suffit que tout sous-espace vectoriel fermé de E, dans lequel il existe une partie dénombrable partout dense, soit semi-réflexif (cf. IV, p. 35, th. 1).