/sci/ - Science & Math

>>15412116
I've started working through an undergrad LinAlg textbook because I've been forced to realize just how lacking my math knowledge had become after I stumbled through the mandatory courses and then never touched anything math related again.
Unfortunately, I've been filtered already by pic rel, and this exercise is skipped in the solutions manual.
I suspect that a proof would go something like this:
>If a function can be inversed, it must be bijective, and if its bijective, each value in the domain must correspond to one and only one value in the codomain and therefore it doesn't matter if you inverse it or take the intersection first.
But how the fuck do I write this in "mathematical notation" like you would see in a paper?