A [[topological space]] X is '''locally compact''' if every point in X has a neighbourhood that is contained in a compact subspace of X. | A [[topological space]] X is '''locally compact''' if every point in X has a neighbourhood that is contained in a compact subspace of X. |