Rings of continuous functions. (2020)