The implications of 27.3 are cool.
Theorem 27.5 is useful. I did not know that, though it is logical.
Woah, surjective reductions are interesting. Are they related to projections in linear algebra?
It keeps messing me up that the range of the function is called the "image." Grrr...
Preimages are cool.
No comments:
Post a Comment