Tengo que resolver un ejercicio para mi curso de autómatas en la universidad. Sin embargo, no puedo entender qué es exactamente $L_1L_2$ significa para algunas lenguas $L_1$ y $L_2$ . El problema es - demostrar que Si $L_1\cup L_2 \subseteq L_3\cap L_4 => L_1L_2 \subseteq L_3L_4$ . ¿Qué es? $L_1L_2$ ?