L,L':LangOver(Alph), n,n':
.
L = L' 
n = n' (L
n) = (L'n')
lang_power_functionality
== {i:
| 0
i }
Thm* L,L':LangOver(Alph), n,n':.
L = L' n = n' (Ln) = (L'n')
lang_power_functionality
Thm* Alph:Type, L:LangOver(Alph), n:. (Ln) 
LangOver(Alph) lang_power_wf
In prior sections: int 1 bool 1 int 2 list 1 finite sets list 3 autom