A compact group is a continuous group with a finite volume.