zbiór otwarty

Zbiór otwarty – dla danej przestrzeni topologicznej , każdy element rodziny (topologii) nazywany jest zbiorem otwartym w . Z definicji, dopełnienie zbioru otwartego nazywane jest zbiorem domkniętym. Istnieją zbiory, które są jednocześnie i otwarte i domknięte (tzw. zbiory domknięto-otwarte), np. zbiór pusty i cała przestrzeń . Innym przykładem mogą być przedziały postaci na prostej wyposażonej w topologię strzałki.