• Nechť L1, L2 jsou dva regulární jazyky
• Potom, existují dva RV r1, r2: L(r1) = L1, L(r2) = L2;
• Podle definice regulárních výrazů:
• r1.r2 je RV značící L1 L2
• r1 + r2 je RV značící L1 È L2
• r1* je RV značící L1*
• Každý RV značí regulární jazyk, tedy