In functional analysis, a branch of mathematics, a unitary operator (not to be confused with a unity operator) is defined as follows:
Definition 1. A bounded linear operator  on a Hilbert space  is called a unitary operator if it satisfies , where is the adjoint of , and is the identity operator.