The closure of a set \( O \) in a topology \( \tau \) or \( \sigma \), denoted by \( c l_{\tau} O \) or \( c l_{\sigma} O \), is the smallest closed set in \( \tau \) or \( \sigma \) that contains \( O \).
Since \( \sigma \) is generated by \( \mathcal{B} \),
Show more…