عمل $ . $ درنیم گروه گسسته دلخواه $ (s,.) $ قابل توسیع به $ eta s $- فشرده سازی استون-چخ $ s $- است. $ (eta s,.) $ یک نیم گروه
راست توپولوژیک است و $ s $ در مرکز توپولوژی قرار گیرد.(یعنی برای هر $ p in eta s $، تابع $
ho_p: eta s
ightarrow eta s $ با ضابطه
$
ho_p(q) =q.p $
و برای هر $ x in s $، تابع $ lambda_x: eta s
ightarrow eta s $ با ضابطه $ lambda_x =...