Compact group

This article defines a property that can be evaluated for a topological group (usually, a T0 topological group)
View a complete list of such properties

Definition

Symbol-free definition

A topological group is said to be compact if its underlying topological space is a compact topological space; in other words, if every open cover of the group has a finite subcover.