Definition:Convergent Sequence (Topology)