El concepto de conjunto abierto se puede formalizar con varios grados de generalidad, entre ellos: