Definition:Inverse of Mapping

The inverse of a mapping $$f: S \to T$$ is the relation defined as:

$$f^{-1} = \left({\left({y, x}\right): \left({x, y}\right) \in f}\right)$$