(
l:Alph*. Auto(l)
) 
(k:
(n+1), l:{l:(Alph*)| ||l|| = k }. Auto(l))f:(n
St). Bij(n; St; f) (l:Alph*. LangOf(Auto)(l)) (k:(n+1), l:{l:(Alph*)| ||l|| = k }. LangOf(Auto)(l))| 1 | (l:Alph*. Auto(l)) (k:(n+1), l:{l:(Alph*)| ||l|| = k }. Auto(l)) |
About:
 |  |  |  |  |  |
 |  |  |  |  |  |