Jabarkan , dari Grup topologi

adalah kontinu. Secara eksplisit, ini berarti bahwa untuk  dan suatu lingkungan  oleh  dari , ada lingkungan  dari  dan  dari  di  maka .