f:((
n
n1)(n1
n)). Bij(nn1; (n1n); f)
f:((n1n){l:(Alph*)| ||l|| = n }). Bij((n1n); {l:(Alph*)| ||l|| = n }; f)n1Alphn1; Alph; f) f:((n1n){l:(Alph*)| ||l|| = n }). Bij((n1n); {l:(Alph*)| ||l|| = n }; f)
n,m:. f:((mn)(nm)). Bij(mn; (nm); f)
[n1;n]| 1 | 6. f:((nn1)(n1n)). Bij(nn1; (n1n); f) f:((n1n){l:(Alph*)| ||l|| = n }). Bij((n1n); {l:(Alph*)| ||l|| = n }; f) |
About:
 |  |  |  |  |  |  |  |