set of points and set of neighborhoods that satisfy axioms relating those points to those neighborhoods