B5. g: B
A6. InvFuns(A; B; f1; g)
7. n:
8.
f:(nB). Bij(n; B; f)9. Surj(A; B; f)
Inj(A; B; f)Bf:(AB), g:(BA). InvFuns(A; B; f; g)) & (n:, f:(nB). Bij(n; B; f)) Inj(A; B; f)| 1 | 4. f1: AB 5. g: B A6. InvFuns(A; B; f1; g) 7. n: 8. f:(nB). Bij(n; B; f)9. Surj(A; B; f) Inj(A; B; f) |
About:
 |  |  |  |  |