2. f :
k onto
k
3. f
k
k
4. Surj(
k; k; f)
5. X :
k
6. a :
k
7. f(X) = f(a)
8.
X = a
({x:k| x = X } onto k)
k onto k
kk
k; k; f)
k
k
X = a
({x:k| x = X } onto k)| By: |
|
| 1 |
f {x:k| x = X }k | 1 step |
| 2 |
Surj({x:k| x = X }; k; f) | 5 steps |
About:
 |  |  |  |  |  |  |