Limit of a sequence (topology)