Intersection of dense open sets is dense: Let XX be a and let U,V⊆XU,V\subseteq X. If UU and VV are and in XX, then U∩VU\cap V is open and dense in XX.

Explanation

This uses that a is closed under finite and is a basic ingredient in many arguments (where one wants to intersect many dense open conditions).