EDB — 2CB

10.10 Compactness[2CB]

The Heine-Borel Theorem [ 63 ] extends to this context.

(This theorem has a generalization in topological spaces, see [0K8]↺↻).

E9

[0V4]↺↻

E9

[0V6]↺↻

E9

[0V8]↺↻

E9

[0VB]↺↻

E9

[0VC]↺↻

E9

[0VD]↺↻

E9

[0VG]↺↻

E9

[2GB]↺↻

E9

[0VJ]↺↻

E9

[0VP]↺↻

E9

[0VR]↺↻

E9

[0VS]↺↻

E9

[0VT]↺↻