Entonces, todos los elementos de A están relacionados con x, por lo que son elemento de C, es decir que A está contenido en C.