§ Alexandrov topology
These are the best generalizations of finite topological spaces.
I should study them for better intuition + comptutability properties.
This is a topology where the intersection of all families of open sets
is open, not just finite intersections. The minimal neighbourhood of a point
is the intersection of all opens containing .