# Definition An idempotent operator $\mathcal{O}$ is characterized by $ \mathcal{O}^2 = \mathcal{O} $