Birkhoff–Kakutani theorem

Redirect to:

• Topological group#Properties