>>179
連続性は必要ないだろ。
稠密性で十分。