 In Bogoliubov et al. (1975, p. 256), a topology is introduced to serve this role, though it is introduced on \(\Omega'\) rather than on \(\Omega\). Shortly thereafter, they assert that it is not hard to show that \(\Omega'\) is a complete nuclear space with respect to this topology. This serves to justify a claim they make earlier in their treatise: