I'm looking for a post that contains facts and links to proofs of injections, surjections, etc It's a pretty comprehensive post. It contains a lot about functions such as image of intersection is a subset of intersection of images, image of union is so and so, etc. Please link me