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 V1∩V2∩...∩Vn⊂M olacak şekilde V de V1,V2,...,Vn 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.
γ da G nin X üzerine bir etkisi olsun.
Bu durumda (γ,G,S(X) ( γ, S(X) üzerinde G nin bir temsili) nin cebirsel olduğunu yani her ξ∈S(X) için
stab ξ={g∈G:γ(g)ξ=ξ}
nin G de açık olduğunu nasıl gösterebilirim?