C0半群
強連続半群 T は、もし T(t0) がコンパクト作用素となるようなある t0 > 0 が存在するなら、終局的にコンパクトと呼ばれる(この条件は、すべての t ≥ t0 に対して T(t) がコンパクトであることと同値である)。もしすべての t > 0 に対して T(t) がコンパクト作用素であるなら、そのような半群は直ちにコンパクトであると呼ばれる。