[[トップページ]] **稠密 定義: 完備な距離空間 (X,d) の部分集合 S について,その閉包が X に等しいとき,S は稠密という。 [[完備]]な距離空間 (X,d) の部分集合 S について,その閉包が X に等しいとき,S は稠密という。