Metrizable 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

A topological group is termed metrizable if it is metrizable as a topological space.