Demonstração. Como $C_p(\mathbb{R})$ é separável, $C_p(\mathbb{R})$ é ccc pelo fato de que qualquer espaço separável tem a condição de cadeia contável (ccc).