Metrizable group

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