Em matemática, mais especificamente em topologia geral, o conceito de compacidade é uma extensão topológica das ideias de finitude e limitação.