2. L: Alph*
Prop3. L': Alph*
Prop4.
l:Alph*. L(l) 
L'(l)5. l: Alph*
L(l) L'(l) Alph:Type, L,L':LangOver(Alph). L = L' 
(
L) = (L')| 1 | 1. Alph: Type 2. L: Alph* Prop3. L': Alph* Prop4. l:Alph*. L(l) L'(l)5. l: Alph* L(l) L'(l) |
About:
 |  |  |  |