Inverse Functions (Set Theory)

In this video, we introduce the notion of the inverse of a relation. We show that the inverse relation of a function is a function if and only if the function is bijective. We also introduce the identity function and an alternative notion of inverse functions using function composition. We prove these two notions of invertibility of functions are equivalent. We consider some examples.