Un conjunto abierto, en topología general y otras ramas de las matemáticas, es un conjunto en el que todos y cada uno de sus elementos están "rodeados" por elementos que también pertenecen al conjunto; o, dicho de una manera más intuitiva, que ningún elemento de dicho conjunto pertenece también a la frontera de éste.