Definable Boolean combinations of open sets are Boolean combinations of open definable sets

Abstract

We show that, in any topological space, boolean combinations of open sets have a canonical representation as a finite union of locally closed sets. As an application, if $\mathfrak M$ is a first-order topological structure, then sets definable in $\mathfrak M$ that are boolean combinations of open sets are boolean combinations of open definable sets.