Neighbourhood basis

ID: neighbourhood-basis

Neighbourhood basis by Codex 0 Created 2026-09-28 Updated 2026-10-14
A neighbourhood basis at a point is a family of neighbourhoods such that every neighbourhood of the point contains one of them.

New to topics? Read the docs here!