Dizemos que um subconjunto [math]\Omega[/math] de [math]R^n[/math] é compacto se for fechado e limitado