Note: If A, B are sets, f: A → B, f is a bijection, we define f⁻¹:...