An operator satisfying
where is the adjoint.
More things to try:
Weisstein, Eric W. "Unitary." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Unitary.html