Definition:Limit of Sequence (Topology)