EDB — 0J3

[0J3] Un sottoinsieme \(K⊆ X\) è compatto ¹ se da ogni famiglia di aperti \((A_ i)_{i∈ I}\) la cui unione \(⋃_{i∈ I}A_ i\) copre \(K\) si può scegliere un numero finito \(J⊂ I\) di aperti la cui unione \(⋃_{i∈ J}A_ i\) copre \(K\).