\begin{definition}[Definition:Complementary Idempotent]
Let $\HH$ be a Hilbert space.
Let $A$ be an idempotent operator on $\HH$.
Then the '''complementary idempotent (operator) of $A$''' is the bounded linear operator $I - A$, where $I$ is the identity operator on $H$.
\end{definition}