2. f :
a bij
a
3. f
a onto a
4. f
a
a
5. Bij(
a; a; f)
6. (
y.least x:. f(x)=
y) aa
7. Inj(
a; a; y.least x:. f(x)=y)
8. x :
a
9. f(least x@0:
. f(x@0)=f(x)) = f(x)
(least x@0:. f(x@0)=f(x)) a
a bij a
a onto a
aa
a; a; f)
y.least x:. f(x)=y) aa
a; a; y.least x:. f(x)=y)
a
. f(x@0)=f(x)) = f(x)
(least x@0:. f(x@0)=f(x)) a| By: |
 f:(a onto b), y:b. (least x:. f(x)=y) a |
None
About:
 |  |  |  |  |  |  |