En
topología, un
espacio compacto es un
espacio que tiene propiedades similares a un
conjunto finito, en cuanto a que las
sucesiones contenidas en un conjunto finito siempre contienen una subsucesión convergente. La propiedad de
compacidad es una versión más fuerte de esta propiedad.