Definition:Limit of Sequence in Metric Space