また、formula_2がベール空間なことから、formula_24はformula_2で稠密である(これはformula_26がformula_10に似てformula_2で疎集合になれないかもしれないことを意味する。