若r1和r2是Σ上的正则表达式，则r1|r2也是。