Banach space
"C"00("X") の閉包が "C"0("X") である。特に、後者はバナッハ空間である。