A reduced set of postulates for abstract Hilbert space
Angus E. Taylor · Bulletin of the American Mathematical Society · 1935
erally separable domains of diameter 1/n or less.By the above argument each G n contains a countable subcollection G n ' covering space.Hence, space is completely separable and the theorem is established.