We will prove R_standard_topology = generated_topology R R_standard_basis.
Use reflexivity.
∎