Definition of convergent series Suppose $\sum_{n = 0}^\infty a_n$ converges.  Can we conclude (from the definition of convergence), that for every $\epsilon > 0$, there exists a positive integer $N$ such that $k > N$ implies $|\sum_{n = k+1}^\infty a_n| < \epsilon$?

Old Question
We say a series $\sum_{n = 0}^\infty a_n$ converges (assume $a_n$ are real), if the sequence of partial sums converges.  That is, there exists a real number $l$ such that for every $\epsilon > 0$, there exists a positive integer $N$ such that 
$k >N$ implies $| \sum_{n = 1}^k a_n - l | < \epsilon$. My question is this definition equivalent to saying for every $\epsilon > 0$, there exists $N$ such that $k > N$ implies
$$\bigg| \sum_{n = k + 1}^\infty a_n\bigg| < \epsilon$$
This should be obvious if we take $|\sum_{n = 0}^\infty a_n - \sum_{n = 0}^k a_n|$ to be the above value, but I'm uncomfortable substracting term by term, since technically we're not really "adding up all terms".
Can someone clear this up?
 A: Answer to new question:
It seems a matter of notation only. By using $$\sum_{n={k+1}}^\infty a_n$$ you're just obscuring the fact this is $$\sum_{n=0}^\infty a_n-\sum_{n=0}^k a_n$$
We write $\displaystyle \sum_{n=0}^\infty a_n$ to denote the limit of the sequence of partials sums. Thus, if we say that $\langle a_n\rangle $ is summable, we say that for each $\epsilon >0$ there exists an $N$ such that $$\tag 1\left| \sum_{n=0}^\infty a_n-\sum_{n=0}^k a_n\right|<\epsilon$$
whenever $k>N$. On the other hand, we could as well say, for fixed $k$, that $$\sum_{n={k+1}}^\infty a_n$$ is the limit of the partial sums of $a_k,a_{k+1},\dots$. In any case, it is almost tautological. We're just repeating yet obscuring the definition in  $(1)$.

We cannot start talking about $$\sum_{k=m}^\infty$$ unles we know something about the convergence a priori. What we can do is use Abel's criterion 

PROP A sequence $\langle a_n:n\in\Bbb N\rangle$ is summable if given any $p$ and $\epsilon >0$, there exists $N\in\Bbb N$ such that for each $n>N$, we have that $$\sum_{k=n}^{n+p}a_k<\epsilon$$

Alternatively, we have the Cauchy criterion

PROP A sequence $\langle a_n:n\in\Bbb N\rangle$ is summable if for every $\epsilon >0$ there exists $N\in\Bbb N$ such that $$\sum_{k=m+1}^na_k<\epsilon$$ whenever $m,n>N$:

A: The answer is yes, to see this consider the sequence of partial sums $$s_n=\sum_{k=1}^{n}a_k$$ and assume that $s_n$ converges to $s=\sum_{k=1}^{\infty}a_k$ as $n\to\infty.$ That means for any $\epsilon>0$ there exists $N\in \Bbb N$ such that $$|s_n-s|<\epsilon$$ for $n\ge N $, but we have for $n\ge N$$$\begin{align}
|s_n-s|&=\bigg|\sum_{k=1}^{n}a_k-\sum_{k=1}^{\infty}a_k\bigg|\\&=\bigg|\sum_{k=n+1}^{\infty}a_k\bigg|<\epsilon 
\end{align}$$Thus, the result.
