Открыто-замкнутое множество
Откры́то-за́мкнутое мно́жество, подмножество топологического пространства, одновременно открытое и замкнутое в нём. Открыто-замкнутое множество совпадает со своими замыканием и внутренностью; обратно, если замыкание и внутренность подмножества топологического пространства совпадают (т. е. если ), то открыто-замкнуто в . Множество открыто-замкнуто в том и только том случае, если его граница пуста (т. е. если ). Семейство открыто-замкнутых подмножеств топологического пространства образует булеву алгебру относительно операций пересечения, объединения и дополнения. В любом топологическом пространстве множества и (пустое множество и всё пространство) открыто-замкнуты.