Definition:Compact (Real Analysis)