EDB — 07F

[07F] Prerequisiti:[07C]↺↻,[07D]↺↻,[252]↺↻.

Sia \(\mathcal F\) una famiglia non vuota di intervalli.

Mostrate che la intersezione \(\underline⋂{\mathcal F}\) di tutti gli intervalli è un intervallo.

Supponiamo che l’intersezione \(\underline⋂{\mathcal F}\) sia non vuota, mostrate che la unione \(\underline⋃{\mathcal F}\) è un intervallo.