Inductive definition of regular expression

Regular expressions are inductively defined as:

$$\begin{array}{rl}r& ::=\text{0}\\ & |\text{1}\\ & |c\\ & |r_1\cdot r_2\\ & |r_1+r_2\\ & |r^{\ast }\end{array}$$