10.5 part 1, due on November 12

1. I didn't really get the restriction of the domain or the whole theorem that came after that.

2. I think it's interesting that if B is a subset of A, knowing that a function from A to B is injective is sufficient to know that it's bijective. That's very convenient.