Finite Intersection of Open Sets is Open