$X$, bir $l$-uzayı olsun yani $X$, Hausdorff,yerel tıkız ve her noktasının açık ve tıkız komşuluklardan oluşan bir temel komşuluklar sistemi(yani $V$, $x$ in komşuluklarının bir sınıfı olmak üzere $x$ in her $M$ komşuluğu için $V_1\cap V_2\cap...\cap V_n \subset M$ olacak şekilde $V$ de $V_1,V_2,...,V_n$ komşulukları vardır) olsun.
$G$, bir $l$-grup olsun yani birim elemanın açık tıkız komşuluklardan oluşan bir temel komşuluklar sistemi olsun.
$S(X)$, $X$ üzerindeki yerel sabit (locally constant), kompleks değerli ve tıkız dayanağa sahip fonksiyonların uzayı olsun.
$\gamma$ da $G$ nin $X$ üzerine bir etkisi olsun.
Bu durumda $(\gamma, G, S(X)$ ( $\gamma$, $S(X)$ üzerinde $G$ nin bir temsili) nin cebirsel olduğunu yani her $\xi \in S(X)$ için
stab $\xi= \{g\in G:\gamma(g)\xi=\xi$}
nin $G$ de açık olduğunu nasıl gösterebilirim?