===$C_p(\mathbb{R})$ é ccc===
\\
Demonstração. Como [[topologia:exemplo:cp_r_separavel| $C_p(\mathbb{R})$ é separável]], $C_p(\mathbb{R})$ é ccc pelo fato de que [[defccc: qualquer espaço separável tem a condição de cadeia contável (ccc)]].