A topological group $G$ is locally compact if the underlying topological space is both locally compact and Hausdorff.
Wikidata ID: Q2147620