invariant subspaces, operator Riccati equation, 
operator matrix, operator angle, factorization theorem