Two definitions of graded rings
Solution 1:
Yes it is redundant, you just need the definition 1). This is because:
if $ R_mR_n \subset R_{m+n}$ then $ R_0R_0 \subset R_{0}$ , thus $R_{0}$ is subring. Second we have $1=\sum x_n$ where there is only a finite number of non-zero $x_n$. Also note that $x_m = 1\cdot x_m=\sum x_nx_m$. By comparing degree we see that $x_m=x_0x_m$ and $x_0= 1 \cdot x_0=\sum x_n \cdot x_0=\sum x_n=1$, therefore $1 \in R_0$.