for X being infinite set
for U, V being non empty open Subset of (ClFinTop X) holds U meets V