Let \(X\) be a topological space and \(A\subseteq X\). Then \(\Ext A\) is open , since \(\bar{A}\) is closed .