Adjoint operator ($A^{†}$)

Given a linear operator $A$ over a space $S$ that has a inner product defined, we define the adjoint operator $A^{†}$ (the $†$ symbol is called "dagger") as the unique operator that satisfies: