– bul bir waqıttıń ózinde topologiyalıq strukturaǵa hám shekli ólshemli analitikalıq kópobrazlıq strukturasına iye bolǵan sonday ${G}$ kópligi bolıp, $(x, y) \rightarrow xy$ qaǵıydası menen berilgen ${G}\times{G}\rightarrow{G}$ sáwlelendiriwi analitikalıq sáwlelendiriw boladı.