Compact: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
SilvonenBot (overleg | bijdragen)
k robot Anders: zh:紧空间
JRB (overleg | bijdragen)
kGeen bewerkingssamenvatting
Regel 12:
een willekeurige, eventueel oneindige, familie [[open verzameling]]en van ''X'' is zodanig dat
:<math>\bigcup_{i\in I}U_i = X,</math>
er een ''[[cardinaliteitkardinaliteit|eindige]]'' deelfamilie <math>J\subset I</math> is waarvoor ook
:<math>\bigcup_{i\in J}U_i = X.</math>
 
Regel 19:
een willekeurige, eventueel oneindige, familie [[open verzameling]]en van ''X'' is zodanig dat
:<math>\bigcup_{i\in I}U_i \supseteq D,</math>
dan bestaat er een ''[[cardinaliteitkardinaliteit|eindige]]'' deelfamilie <math>J\subset I</math> waarvoor ook
:<math>\bigcup_{i\in J}U_i \supseteq D.</math>