e/Chabauty topology

Information
has gloss	eng: In mathematics, the Chabauty topology is a certain topological structure introduced in 1950 by Claude Chabauty, on the set of all closed subgroups of a locally compact group G.
lexicalization	eng: Chabauty topology
instance of	e/Topological group