chore(topology/sequences): rename variables (#14631)
chore(topology/sequences): rename variables (#14631)

* types `X`, `Y`;
* sequence `x : ℕ → X`;
* a point `a : X`;
* sets `s`, `t`.





leanprover-community/mathlib,leanprover-community/mathlib