Denotaremos, en esta sección, por C a la clase de equivalencia de la relación anterior, que contiene a x.