talk:>>689 それは位相空間の稠密の定義だな。[>>688]にそのようなことは書いていない。