I really struggled to remember this definition.

Eventually, I hit upon this idea: a set of subsets is locally finite if every point in the space is close to only finitely many of those sets, where close means “has a neighborhood intersecting”.

I really struggled to remember this definition.

Eventually, I hit upon this idea: a set of subsets is locally finite if every point in the space is close to only finitely many of those sets, where close means “has a neighborhood intersecting”.