## ยง 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 $V(x)$
is the intersection of all opens containing $x$.