Locally compact

def locally_compact [Topological space X] : Prop :=
every point has a [Compact](/Read/Math/Compact.html) neighborhood."

References

• Wikipedia;