https://9lib.org/document/q05x8p5g-density-property-algebras-oî-d-valued-continuous-functions.html